Ejercicio Maquina de Turing 3

Cíclicas o iterativos

Elementos:

                Q=(0,1,A,B)

                =(a,b,B)   entrada à cinta

                M=|x,R)    graba à  memoria

                SP=|R)

∆	(a,B)	(b,B)	(a,a)	(a,b)	(B,a)	(b,b)	(B,B)	(b,b)
0	(A,R)	(B,R)	ᶿ	ᶿ	ᶿ	ᶿ	(1, ᴫ)	ᶿ
A	ᶿ	ᶿ	(A,R)	ᶿ	(1,ᴫ)	ᶿ	ᶿ	ᶿ
B	ᶿ	ᶿ	ᶿ	(A,R)	ᶿ	(B, ᴫ)	ᶿ	(1, ᴫ)
1	ᶿ	ᶿ	ᶿ	ᶿ	ᶿ	ᶿ	ᶿ	ᶿ

Expresiones:

aB

bB                                                          (a,b)B  L()=((abB) B/n ≥0)

B

aBaBB