Universidad de Morn

Autmatas y Lenguajes Formales

2012

Lenguajes Formales y Autmatas

Trabajo Prctico n 6
Mquinas de Turing
1)

Disee y defina formalmente una mquina de Turing que reconozca los siguientes lenguajes:
a) L1 = {b2r an+1 bn dj er+1/ n, r 0 y j < r}
b) L2 = { ap+1 d2p bn e2k+1 ak / n, k 0 y n p}
c) L3 = { an b2k+1 dp+1 ck / p, k 0 y n > p} { an b2k+1 e2n / n, k > 0 }

2)

Dada la siguiente Mquina de Turing MT = <{e0, e1, e2, e3, e4, e5, e6}, {a, b, c, d}, {X, 1, a, b, c,
d, B}, , e0, B, {e6}>
1

C1

C2

e0

a
b
B
a
b
c
b
c
c
d
d
B
d
-

B
B
B
B
B
B
B
B
1
X
1
B
1
-

e1

e2
e3
e4
e5
e6

C1
Nuevo Smb.
a
b
B
a
b
c
b
c
c
d
d
B
d
-

Mov.
N
N
N
D
N
N
D
N
D
N
D
N
D
-

C2
Nuevo Smb.
X
X
B
1
B
B
1
B
1
X
1
B
1
-

Nuevo estado
Mov.
D
D
N
D
N
I
D
I
I
D
N
N
D
-

e1
e2
e6
e1
e2
e3
e2
e3
e3
e4
e5
e6
e4
-

a) Determine si las siguientes cadenas pertenecen o no al lenguaje aceptado por la Mquina de

Turing MT:
i. abccdddd;
ii. abcdd;
iii. aaccdddd;
iv. bbbcccdddddd;
v. aabcccdd
b) Determine el lenguaje aceptado por la Mquina de Turing MT.
3)

Determine qu funcin calcula la siguiente Mquina de Turing MT

MT= <{e0, e1, e2, e3, e4, e5},{1}, {1, X, B}, , e5}>

Prctica 6

Universidad de Morn

Autmatas y Lenguajes Formales

e0
e1
e2
e3
e4
e5

4)

C1
B
1
1
B
1
1
1
1
1
-

2012

C2
B
B
B
B
1
X
1
B
1
-

C3
B
B
B
B
B
B
B
B
B
-

C1
NS M
B N
1
N
1
N
B N
1
N
1
N
1
N
1
D
1
N
-

C2
NS M
B N
X D
1
N
B N
1
I
X D
1
N
B N
1
D
-

C3
NS M
B N
B N
B N
B N
B N
B N
1
D
B N
1
D
-

Nuevo
estado
e5
e1
e2
e5
e2
e3
e4
e1
e3
-

Definir y graficar Mquinas de Turing que reconozca los siguientes lenguajes:

a) L1 = { x#x / x (a, b, c)+ }
b) L2 = { xx / x (a, b)+ }

5)

Definir y graficar una Mquina de Turing que, dados dos nmeros unarios separados por un #, decida
si el primer nmero es mltiplo del segundo
Si es mltiplo, escribir una M a continuacin del segundo nmero; en caso contrario escribir una
X.

6)

Disee una MT para

x mod y para x, y > 0 codificados en unario

7)

Disee una MT para sumar dos nmeros en unario

8)

Disee un MT para multiplicar un nmero entero por otro (Unario)

9)

Disee una MT para calcular la potencia de dos nmeros en unario (ej 32 : I I I ^ I I = I I I I I I I I I )

10) Definir y graficar una Mquina de Turing que, dado un nmero entero en unario, decida si el nmero
es divisible por seis. Si es divisible, escribir True a continuacin del nmero; en caso contrario
escribir False.

Prctica 6