L={0n1n / n>=1}

a/X/D

Leido/Rempla/movimi

qi qj

00001111
q000001111Xq10001111X0q1001111X00q101111X000q11111X00q20Y111
X0q200Y111Xq2000Y111q2X000Y111Xq0000Y111XXq100Y111XX0q101111
XX00q1Y111XX00Yq1111XX00q2YY11XX0q20YY11XXq200YY11Xq2X00YY11
XXq000YY11XXXq10YY11XXX0q1YY11XXX0Yq1Y11XXX0YYq111XXX0Yq2YY1
XXX0q2YYY1XXXq20YYY1XXq2X0YYY1XXXq00YYY1XXXXq1YYY1XXXXYq1YY1
XXXXYYq1Y1XXXXYYYq11XXXXYYq2YYXXXXYq2YYYXXXXq2YYYYXXXq2XYYYY
XXXXq0YYYYXXXXYq3YYYXXXXYYq3YYXXXXYYYq3YXXXXYYYYq3 XXXXYYYYBq4S

1.- Dada la siguiente tabla de transición, indique que tipo de autómata es, cuales son los
elementos o componentes del autómata y construya su diagrama de transición.

 Es un autómata de tipo 0 o Maquina de Turing

  Sus elementos son:
MT=(Q,∑,Γ,δ,q0,B,F)
Q={p,q,r,s}
∑={1,0}
Γ ={1,0,b}
δ está dado por la tabla que encontramos en la parte superior
q0=p
B es el símbolo blanco
F={s}
 Su diagrama de transición es:
(0/0/I)

(1/0/D)
p q (1/1/D)
(b/0/I) (0/0/D)

(b/b/D)

r (b/b/P)
s

(0/1/D)

2.- Teniendo en cuenta el siguiente autómata, indique de que tipo es, explique el
significado de cada una de sus cuatro transiciones y construya su tabla y grafo de
transición.

 Es un autómata de pila
 El significado de sus transiciones sería:
 Su tabla de transición es:
 Su grafo de transición es:
3.- Dado el siguiente autómata, identifique cada uno de sus elementos o componentes,
construya su tabla de transición, indique el lenguaje que reconoce y haga el cómputo
para 2 o tres cadenas de ese lenguaje

 Sus elementos son:

Q={q0,q1,q2,q3,q4,q5}
∑={0,1}
Γ={0,1,b}
F={q5}
q0 es el estado inicial
La función δ viene dado por la tabla siguiente
 Su tabla de transición es:
δ 0 1 b
q0 q10D q21D -
q1 q10D q11D q3bI
q2 q20D q21D q4bI
q3 q50D - -
q4 - q51D -
q5 S S S

 El lenguaje que reconoce es: L1={0nb0/n>=1} y L2={1nb1/n>=1}

 El cómputo a realizar es:
00b0:
q000b0 0q10b0 00q1b0 0q30b0S
01b1: