![Page 1: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/1.jpg)
Turing Machineチューリング機械 (TM)
ーその2ー
非決定性チューリング機械: nTM
形式言語とオートマトン:第 12 回講義
![Page 2: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/2.jpg)
非決定性 TM :複数のルートを選べるようにする
• 遷移関数は
等のように、複数の可能性から選択できる• # 等のマークで真ん中を示さなくても良い• 真ん中を示す # 等のマークが入っていれば決定
性 TM で OK
• 非決定性 TM は決定性 TM と本質的に異なる能力を持つのか?
• 実は同じ能力しかない
)}R,c,r(),L,b,p{()a,q(
![Page 3: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/3.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
43
}},{|{
M
bawww
機械非決定性チューリングを受理する言語
![Page 4: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/4.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
の動作例43M
a a a ab b $¢
abaaba:入力語
![Page 5: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/5.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 6: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/6.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 7: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/7.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
この時点で2通りの遷移が可能であるが,ここではこの遷移を選択する。
![Page 8: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/8.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
ここでも2通りの遷移が可能であるが,今度はこちらの遷移を選択する。
![Page 9: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/9.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 10: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/10.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 11: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/11.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 12: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/12.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 13: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/13.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 14: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/14.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 15: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/15.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 16: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/16.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 17: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/17.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 18: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/18.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 19: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/19.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 20: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/20.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 21: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/21.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 22: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/22.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a ab b $¢
![Page 23: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/23.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
![Page 24: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/24.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
![Page 25: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/25.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
![Page 26: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/26.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
![Page 27: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/27.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
![Page 28: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/28.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
![Page 29: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/29.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
![Page 30: Turing Machine チューリング機械 (TM) ー その2ー 非決定性チューリング機械: nTM](https://reader035.vdocuments.mx/reader035/viewer/2022081506/568135e3550346895d9d56a1/html5/thumbnails/30.jpg)
Raa ,/ 1q 2q
7q
6q
8q
9q
4q 5q0q 3qLaa ,/
Raa ,/
Rbb ,/
Raa ,/
Rbb ,/
L$,/$
Rbb ,/
Raa ,/
Rbb ,/
Laa ,/
Lbb ,/
Laa ,/ Lbb ,/
Laa ,/
Lbb ,/
Raa ,/
Rbb ,/
Raa ,/ Rbb ,/
Raa ,/ Rbb ,/
Raa ,/Rbb ,/
Raa ,/
Raa ,/
Rbb ,/
Rbb ,/
Raa ,/Rbb ,/
Raa ,/ Rbb ,/
a a a a b b $¢
受理状態に遷移することができたので, M42 は入力語 abaaba を受理する。