理論計算機科学スレ
223 ：１３２人目の素数さん：2006/11/15(水) 01:52:45
Hopcroft and Ullman
224 ：１３２人目の素数さん：2006/12/04(月) 08:54:00
二年。
225 ：１３２人目の素数さん：2006/12/27(水) 12:33:02
698
226 ：１３２人目の素数さん：2007/02/05(月) 14:20:05
400
227 ：１３２人目の素数さん：2007/03/11(日) 16:54:16
128
228 ：１３２人目の素数さん：2007/03/11(日) 16:58:07
age
229 ：１３２人目の素数さん：2007/03/28(水) 17:40:32
・チューリングマシン
・万能チューリングマシン
・非決定性チューリングマシン
これらの違いを詳しく教えてほしいでつ。
おながいしまつ。
URLなんかもあったらキボンヌ。
・万能チューリングマシン
・非決定性チューリングマシン
これらの違いを詳しく教えてほしいでつ。
おながいしまつ。
URLなんかもあったらキボンヌ。
230 ：１３２人目の素数さん：2007/03/28(水) 18:40:40
231 ：１３２人目の素数さん：2007/03/28(水) 18:43:52
232 ：１３２人目の素数さん：2007/03/28(水) 18:58:03
ttp://ja.wikipedia.org/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E3%83%9E%E3%82%B7%E3%83%B3
ttp://en.wikipedia.org/wiki/Turing_machine
ttp://en.wikipedia.org/wiki/Non-deterministic_Turing_machine
チューリングマシンと非決定性チューリングマシンの違いは
遷移函数が一価か多価も許すかの違い。
ttp://en.wikipedia.org/wiki/Turing_machine
ttp://en.wikipedia.org/wiki/Non-deterministic_Turing_machine
チューリングマシンと非決定性チューリングマシンの違いは
遷移函数が一価か多価も許すかの違い。
233 ：１３２人目の素数さん：2007/03/28(水) 19:06:28
>>232
哀号!!!
英語が読めないニダ!!
>チューリングマシンと非決定性チューリングマシンの違いは
>遷移函数が一価か多価も許すかの違い。
というのは、
非決定性チューリングマシンの場合は同時に複数の状態に遷移することができるということ？
哀号!!!
英語が読めないニダ!!
>チューリングマシンと非決定性チューリングマシンの違いは
>遷移函数が一価か多価も許すかの違い。
というのは、
非決定性チューリングマシンの場合は同時に複数の状態に遷移することができるということ？
234 ：１３２人目の素数さん：2007/03/29(木) 07:55:12
age
235 ：１３２人目の素数さん：2007/03/29(木) 10:48:00
. ,ｲ/〃 ヾ= 、
_,,r-‐''"´ ＾ ｀N /l/ ｀ヽ
彡 法学部 N! l ｀､
,, -‐- ,,-彡 l ヽ 医学部 l｀ ´ ｀`‐ ､
彡´ | ,,w,,wヽヽ ,, | 薬学部 ｀ヽ
_彡 政経部 | //ﾚ/ﾊl/ﾊ＼ヾｰ _,, ,,r,,/lヾ | }
ﾊl/ ,/ﾊlヾヾ,l､ /三f､,,_ _,ヾニ＿ ＿＿＿_彡ﾉノﾉノﾉ_ヾヾ | ,l､ ､ l＿＿_
/ﾚ /l,,_/＿_ヽ lヾ ヽﾓ-ヽl ´fﾓﾁ7ヽ={ r‐ｨｯヾ ヽ-r'´〒fデF｀lｪr‐､ﾊlヽヽヽ 哲学 ＼_
l｀=l fﾓﾁ）_{´ヽl!l :l l ll !l `┴ｰ/ｿl⌒ｯ`┴┴' }//l l､ ,,､ｧtｯﾋヽ､rｩ ／ ＼
ヾ}弋＿シl弋 ヽl ヽ- ヽl lゝ＿＿,ノ | ゞ_＿＿ノl/l / l ｀~ﾞ´ lｧﾉ （●
） ＼
ヾl `' `''´lヽ ── /l＼l l､, l_ノ 〈 _ l!ﾉ_人__） |
}＼ ￣￣ ,ｨl ＼ ￣ ／ l l ＿＿＿ / ── 丿 ⌒´ ,／
,/＼ ＼＿_／/ ＼ ＼___／ ,,-''＼|＼ ＿ /|＼ - ／ |､ ／ ,|､
-‐' ＼_,,-‐'＼ ｀ヽ､ ,,r' /| ＼ ／ .| ＼＿_／ ,,rヽ‐-‐ '' ／ l｀ヽ
,,-‐'' ＼ /＼/＼ ／ ＼. ＼＿＿__／ ／＼ ,,-‐'' /＼ ,／ l ヽ
-‐''´ ＼/ }ﾞ _,,,‐''＼ ＼ ／ /l＼‐'' ／ ｀ヽ､_ l
_,,r-‐''"´ ＾ ｀N /l/ ｀ヽ
彡 法学部 N! l ｀､
,, -‐- ,,-彡 l ヽ 医学部 l｀ ´ ｀`‐ ､
彡´ | ,,w,,wヽヽ ,, | 薬学部 ｀ヽ
_彡 政経部 | //ﾚ/ﾊl/ﾊ＼ヾｰ _,, ,,r,,/lヾ | }
ﾊl/ ,/ﾊlヾヾ,l､ /三f､,,_ _,ヾニ＿ ＿＿＿_彡ﾉノﾉノﾉ_ヾヾ | ,l､ ､ l＿＿_
/ﾚ /l,,_/＿_ヽ lヾ ヽﾓ-ヽl ´fﾓﾁ7ヽ={ r‐ｨｯヾ ヽ-r'´〒fデF｀lｪr‐､ﾊlヽヽヽ 哲学 ＼_
l｀=l fﾓﾁ）_{´ヽl!l :l l ll !l `┴ｰ/ｿl⌒ｯ`┴┴' }//l l､ ,,､ｧtｯﾋヽ､rｩ ／ ＼
ヾ}弋＿シl弋 ヽl ヽ- ヽl lゝ＿＿,ノ | ゞ_＿＿ノl/l / l ｀~ﾞ´ lｧﾉ （●
） ＼
ヾl `' `''´lヽ ── /l＼l l､, l_ノ 〈 _ l!ﾉ_人__） |
}＼ ￣￣ ,ｨl ＼ ￣ ／ l l ＿＿＿ / ── 丿 ⌒´ ,／
,/＼ ＼＿_／/ ＼ ＼___／ ,,-''＼|＼ ＿ /|＼ - ／ |､ ／ ,|､
-‐' ＼_,,-‐'＼ ｀ヽ､ ,,r' /| ＼ ／ .| ＼＿_／ ,,rヽ‐-‐ '' ／ l｀ヽ
,,-‐'' ＼ /＼/＼ ／ ＼. ＼＿＿__／ ／＼ ,,-‐'' /＼ ,／ l ヽ
-‐''´ ＼/ }ﾞ _,,,‐''＼ ＼ ／ /l＼‐'' ／ ｀ヽ､_ l
236 ：１３２人目の素数さん：2007/03/31(土) 17:05:27
>>233
英語ぐらい読めないと困ると思うが。
英語ぐらい読めないと困ると思うが。
237 ：１３２人目の素数さん：2007/06/25(月) 09:37:51
109
238 ：１３２人目の素数さん：2007/08/31(金) 13:31:01
239 ：１３２人目の素数さん：2007/10/30(火) 09:25:48
126
240 ：１３２人目の素数さん：2007/11/15(木) 14:49:49
茫然
241 ：１３２人目の素数さん：2007/11/15(木) 14:51:56
壺、?然、?然 ?む
242 ：１３２人目の素数さん：2007/11/15(木) 14:52:51
なんで正字がダメなんだよバカ
243 ：１３２人目の素数さん：2007/11/17(土) 12:45:36
age
244 ：１３２人目の素数さん：2007/12/04(火) 21:54:00
三年十三時間。
245 ：１３２人目の素数さん：2008/03/07(金) 02:16:18
451
246 ：１３２人目の素数さん：2008/04/10(木) 11:20:40
232
247 ：１３２人目の素数さん：2008/04/11(金) 04:23:28
age
248 ：１３２人目の素数さん：2008/06/01(日) 10:37:00
602
249 ：１３２人目の素数さん：2008/06/01(日) 10:43:16
age
250 ：１３２人目の素数さん：2008/07/12(土) 00:33:41
251 ：１３２人目の素数さん：2008/08/29(金) 08:28:55
005
252 ：１３２人目の素数さん：2008/10/17(金) 08:17:44
752
253 ：１３２人目の素数さん：2008/11/19(水) 22:22:43
555
254 ：１３２人目の素数さん：2008/12/03(水) 17:00:35
889
255 ：１３２人目の素数さん：2008/12/04(木) 09:54:00
四年一時間。
256 ：１３２人目の素数さん：2009/01/11(日) 09:44:51
690
257 ：１３２人目の素数さん：2009/02/11(水) 15:21:02
King氏ね
258 ：KingGold ◆3waIkAJWrg ：2009/02/11(水) 16:18:21
Reply:>>257 お前に何がわかるというか。
259 ：１３２人目の素数さん：2009/04/25(土) 11:10:45
542
260 ：１３２人目の素数さん：2009/05/09(土) 02:19:18
●こんなところにもいるのか
261 ：１３２人目の素数さん：2009/05/09(土) 18:06:40
age
262 ：１３２人目の素数さん：2009/06/04(木) 20:29:41 BE:1406014496-2BP(1028)
>>131
２０年前にそれをレポ〜トに書いたら、助教授に超バカにされたｗ
２０年前にそれをレポ〜トに書いたら、助教授に超バカにされたｗ
263 ：１３２人目の素数さん：2009/07/10(金) 09:08:03
972
264 ：１３２人目の素数さん：2009/08/18(火) 11:16:21
969
265 ：１３２人目の素数さん：2009/10/04(日) 23:37:42
440
266 ：１３２人目の素数さん：2009/11/26(木) 22:38:09
質問です。項書き換え系理論に置いて、二つの項書き換え系が同型だとか部分系になってるとかいう理論はあるのでしょうか？
あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？
項書き換えに興味はあるのですが、近くにわかる人が少なくて困っているのです。助けていただければ幸いです。
あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？
項書き換えに興味はあるのですが、近くにわかる人が少なくて困っているのです。助けていただければ幸いです。
267 ：１３２人目の素数さん：2009/11/27(金) 15:02:43
268 ：１３２人目の素数さん：2010/01/17(日) 01:54:01
五年四十三日十七時間。
269 ：１３２人目の素数さん：2010/03/10(水) 05:47:01
407
270 ：１３２人目の素数さん：2010/03/27(土) 04:27:27
hage
271 ：１３２人目の素数さん：2010/06/27(日) 11:17:09
805
458