AUTOMATAS Y LENGUAJES FORMALES

MOMENTO 2

LUIS CARLOS SANTANA BERNAL COD: 1070963683

BORIS ESTIVEN PALACIOS ALARCON: 1140819557
OSCAR ALEXANDER HERNANDEZ COD:

PRESENTADO A: JAIME RUBIANO LLORENTE

TUTOR DE AUTOMATAS Y LENGUAJES FORMALES

GRUPO: 301405_18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

BARRANQUILLA, 10 DE JULIO DEL 2015

Contenido
INTRODUCCION........................................................................................................... 4
OBJETIVOS................................................................................................................... 5
Calcular el autmata mnimo correspondiente al siguiente autmata finito............6
Autmata No Minimizado:..................................................................................... 6
Expresin Regular de Autmata No Minimizado:..................................................6
Autmata Minimizado:.......................................................................................... 6
Expresin Regular de Autmata Minimizado:........................................................7
Enuncie el autmata en notacin matemtica.........................................................7
Identifique la tabla de transicin correspondiente...................................................7
Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que
terminen en un estado halt..................................................................................8
Encuentre la expresin regular vlida......................................................................0
Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus
componentes y como se escriben matemticamente)............................................0
Genere la gramtica tanto por la izquierda como por la derecha y verifique cual es
vlida sustentando el por qu..................................................................................1
Gramtica por la derecha..................................................................................... 1
Gramtica por la izquierda....................................................................................1
Realice el rbol de Derivacin de esa gramtica.....................................................0
Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su
afirmacin................................................................................................................ 2
ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR Y YA MINIMIZADO..............................3
Identifique los estados No distinguibles y los Distinguibles. Justifique o caracterice
la diferencia entre ellos............................................................................................ 3
Identifique los estados equivalentes. Para ello realice el proceso de validacin de
equivalencias identificando los estados a ser eliminados........................................4
Esto se puede verificar aplicando la minimizacin por conjuntos:........................4
Realice el proceso de eliminacin de estados (que estados se suprimen y porque).
Realice la eliminacin de transiciones y de estados................................................7
Realice la tabla de estados distinguibles.................................................................8
Escribir la funcin de transicin del nuevo autmata..............................................8
Identificar la expresin regular (explicarla en la lectura matemtica que se le debe
hacer)...................................................................................................................... 9
Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas....................9

El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.

............................................................................................................................... 10
Identificar sus tablas de Transicin........................................................................10
Disee un AP que dentro de su lenguaje L ={ab}* ;es decir todas las combinaciones
posibles de cadenas conformadas por los smbolos (a) (b) o conjunto universal de
estrellas de kleene, (con pila vaca): exceptuando o rechazando cadenas como:.. . .11
Describa el autmata en notacin matemtica.....................................................11
Determine el lenguaje que reconoce el AP.............................................................11
Justifique y asocio o evidencie si el diseo es un APND o un APD..........................12
Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las columnas
para un AP son: El estado en que se encuentra el autmata, lo que falta por leer
de la palabra de entrada, y el contenido de la pila)...............................................12
Plasme las imgenes y capturas en el documento. (Documente el proceso).........13
Muestre el diagrama correspondiente de estados.................................................14
Identifique los contenidos (el recorrido para cada interaccin) de la pila y el estado
de parada. Realcelo con una cadena vlida..........................................................15
Determine si su diseo acepta o no la cadena vaca y explique por qu en
cualquier caso, demostrando el recorrido o comportamiento de la Pila.
(Evidencindolo).................................................................................................... 15

INTRODUCCION
Con el desarrollo del siguiente trabaja so pretende demostrar que se han adquirido los
conocimientos con respecto a la minimizacin de los autmatas, y su funcionamiento.
Tambin es importante complementar la solucin de los ejercicios de la actividad a travs del uso
de herramientas computacionales de simulacin, empleando los conceptos aprendidos en nuestros
estudios de las diversas ramas de la Ingeniera en nuestra Universidad, El siguiente trabajo
muestra dos ejercicios realizados por el trabajo colaborativo y como se integraron los resultados
de las personas para mostrar un trabajo final concluyente.

OBJETIVOS

Reconocer los lenguajes independientes del contexto y sus diversas aplicaciones.

Analizar la estructura de las gramticas independientes del contexto.
Estudiar el concepto de los autmatas de pila, su funcionamiento y los lenguajes
utilizados.
Distinguir los lenguajes independientes del contexto existentes y sus propiedades, as
como los algoritmos de decisin.
Generalizar los conceptos de autmatas finitos y gramticas regulares.
Reconocer el potencial de procesamiento del lenguaje del autmata con los Autmatas de
pila.

Calcular el autmata mnimo correspondiente al siguiente

autmata finito.
Autmata No Minimizado:

Expresin Regular de Autmata No Minimizado:

((01+10+(00+11)(0+111)*110+(00+11)
(0+111)*10(0(0+111)*10)*(1+0(0+111)*110))1*0)*(01+10+(00+11)(0+111)*110+(00+11)
(0+111)*10(0(0+111)*10)*(1+0(0+111)*110))1*
Autmata Minimizado:

Expresin Regular de Autmata Minimizado:

((110*1+000*1)*(10+01)1*0)*(110*1+000*1)*(10+01)1*

Enuncie el autmata en notacin matemtica.

M = {q0,q1,q2,q3,q4},{0,1},,{q1},{q4} donde K = { q0,q1,q2,q3,q4 } = {0,1}, S= q1 F= q4
M es un quntuplo (K, , , s, F), donde:
K = {q0, q1, q2, q3, q4}, identifica el conjunto de estados del autmata
= {0,1}, es el alfabeto de entrada
= es la funcin de transicin, que a partir de un estado y un smbolo del alfabeto obtiene un
nuevo estado.
s es el estado inicial, en nuestro caso q1
F es un conjunto de estados finales, en nuestro caso q4

Identifique la tabla de transicin correspondiente

f

q0

q0

q1

q1

q3

q2

q2

q4

q0

q3

q0

q4

#q4

q1

q4

: K x K es la funcin de transicin, que a partir de un estado y un smbolo del alfabeto

obtiene un nuevo estado
: {q0,q1,q2,q3,q4} x{0,1} {q0,q1,q2,q3,q4} {q1} {q4}

Viene dada por:

(q0,0)=q0
(q0,1)=q1
(q1,0)=q3
(q1,1)=q2
(q2,0)=q4
(q2,1)=q0
(q3,0)=q0
(q3,1)=q4
(q4,0)=q1
(q4,1)=q4

Identifique el lenguaje que reconoce y enuncie cinco posibles

cadenas vlidas que terminen en un estado halt
L= {A {0,1}*| A={.El lenguaje que reconoce ser el de todas las posibles cadenas que empiezan
por 0 o por 1 y que terminan en 0 o 1, seguidos de una combinacin de uno o varios
0 o 1. bajo ciertas condiciones (propiedades) que resultan complejas (ER), por eso es que
se reduce o minimiza el autmata.

1. Encuentre la expresin regular vlida.

2.

3. ((110*1+000*1)*(10+01)1*0)*(110*1+000*1)*(10+01)1*
4. Con Fjlap

5.

6. Encuentre su gramtica que sea vlida para la funcin de

transicin (describa sus componentes y como se escriben
matemticamente).
7.
8. Definimos o caracterizamos una gramtica regular como:
9. Un cudruplo (V, , R, S) en donde:
10. G = ({S, D, A, B, C}, {0,1}, {S0C, S1B,
D1D,A0A,B0D,B1A,C1D,D0S,C0A,A1S,D}, S)
11. V = Es el alfabeto de variables
12. V = {S, D, A, B, C}
13. = Es el alfabeto de constantes
14. = {0,1}
15. R = Es el conjunto de reglas, es un subconjunto finito de V x (V U )
16.
17.
20.
23.
26.
29.
32.
35.
38.
41.
44.
47.

S
S
D
A
B
B
C
D
C
A
D

18.
21.
24.
27.
30.
33.
36.
39.
42.
45.
48.

50.
51. S= Es el smbolo inicial y es un elemento de V = {S}
52. S = {S}
53.
54.

19. 0C
22. 1B
25. 1D
28. 0A
31. 0D
34. 1A
37. 1D
40. 0S
43. 0A
46. 1S
49.

55.
56. Genere la gramtica tanto por la izquierda como por la
derecha y verifique cual es vlida sustentando el por qu.
57.
58.
59.

Gramtica por la derecha

60.
61.
64.
67.
70.
73.
76.
79.
82.
85.
88.
91.

S
S
D
A
B
B
C
D
C
A
D

62.
65.
68.
71.
74.
77.
80.
83.
86.
89.
92.

63. 0C
66. 1B
69. 1D
72. 0A
75. 0D
78. 1A
81. 1D
84. 0S
87. 0A
90. 1S
93.

94.
95.

96.
97.
98. Esta gramtica regular es Lineal por la derecha, porque al desarrollarse cada cadena, las
variables se despejan por la derecha formando la cadena que entra y es aceptada.
99.

100. Gramtica por la izquierda

101.
102.
105.
108.
111.
114.
117.
120.
123.
126.
129.
132.
135.
138.
141.
144.

147.
148.

S
C
F
C
D
V
E
B
A
M
F
D
E
V
C

103.
106.
109.
112.
115.
118.
121.
124.
127.
130.
133.
136.
139.
142.
145.

104. FM
107.
110.
BV
113.
BF
116.
BD
119.
BD
122. BC
125. 0
128. 1
131.
134. AE
137. AF
140. AD
143. AC
146. AC

149.
150.
Al analizar las gramticas, podemos concluir que tanto la gramtica por la derecha
y por la izquierda son vlidas, debido a que reconocen el mismo leguaje y generan las mismas
cadenas vlidas y no vlidas.
151.

152. Realice el rbol de Derivacin de esa gramtica.

153.
154.
155.

CADENAS AVALUADAS
157. 10

159.

101

156.

RBOL DE DERIVACIN
158.

160.

161.

00101

162.

163.

000110

164.

165.

01001

166.

167.

011010

168.

169.

170. Identifique si ese rbol o gramtica es ambigua o no y

plasme las razones de su afirmacin.
171.
172.
La gramtica no es ambigua debido a que el autmata es determinstico, por
cuanto siempre nos una sola ruta para llegar al estado final, como evidencia en el siguiente
rbol de derivacin.
173.
174.

CADENA VALIDA
176. 011010

175.

RBOL DE DERIVACIN
177.

178.
179.

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR Y YA

MINIMIZADO:

180.

181. Identifique los estados No distinguibles y los

Distinguibles. Justifique o caracterice la diferencia entre
ellos.
182.
183.
185.

Distinguibles (Estados NO Finales)

q 0 , q 1, q 3, q 4, q 5, q 6, q 7

184.

No Distinguibles (Estados Finales)

186.

q2

187.
188. Los estados q0,q1,q3,q4,q5,q6,q7 son distinguibles debido a que son estados no finales y
son diferentes a q2 el cual es el estado final.
189.
190.
191.
192.
193.
194.
195.
196.
197.
198.

Se eliminara q3 ya que es un estado inaccesible, es decir que ningnq1

estado
y q7puede
son equivalentes
llegar a l. ya que con 0 v

199. Identifique los estados equivalentes. Para ello realice el

proceso de validacin de equivalencias identificando los
estados a ser eliminados.
200.
201.
202.
203.
204.
205.
206.
207.

q0 y q4 son equivalentes (una vez se minimic

208.
209.
210.
211.
212.
213.
214.
215. Esto se puede verificar aplicando la minimizacin por conjuntos:
216.

217. Se separan los estados finales de los no finales y a cada uno se le asigna un conjunto en
este caso X para NO Finales y Y para Finales
218.
220.

Estados NO Finales

219.

{q 0 , q 1,q 3, q 4, q 5,q 6,q 7 } = X

Estados Finales

221.

{ q 2 } =Y

222.
223. A los conjuntos se los evala segn con alfabeto y el autmata analizado dependiendo del
resultado se mira a que conjunto pertenece este resultado ejemplo analizamos
( q 0 ,1 ) =q 5 se evidencia que el resultado es q 5
este pertenece al conjunto de los
NO Finales por tanto pertenecera al conjunto de las X entonces se coloca una X en su lugar
={0,1, }

224.
225.
226.

ESTADOS FINALES

Alfabeto Estados

227.

228.

# q2

230.

231.

229.

232.
233.
234.

ESTADOS NO FINALES

Alfabeto Estados

235.

236.

237.
240.
243.
246.
249.

238.
241.
244.
247.
250.

X
X
Y
X
Y

239.
242.
245.
248.
251.

X
Y
X
X
X

q0
q1
q3
q4
q5

252.
255.

q6
q7

253.
256.

X
X

254.
257.

X
Y

258.
259. Se analizan las tablas y se miran que conjuntos comparten las mismas caractersticas para
emparejarlos y formamos nuevos conjuntos, si los conjuntos son iguales se los deja tal cual
como en el caso del conjunto X

X ={q 0 , q 4, q 6 }

Y = { q 3,q 5 }

Z ={q 1, q 2, q 7 }

260.
261.

Se evalan los nuevos conjuntos con alfabeto y el grafico del autmata.

1. CONJUNTO X

2. Alfabeto Estados

q0
5. 28.Alfabeto
Estados
15.Alfabeto Estados

27.CONJUNTO Y

3. 0

18.

q1

6. Z
29.0
32.Z
9. Z

q5
11.34. q 6

21.

q2

35.Z
12.X

262.
263.

24.

q7

8.

31. q 4q 3

264.

14.CONJU
NTO Z
7.
30.1
16.0
17.1
Y
33.
10.Y
19.X
20.Z
X
36.X
13.X
22.X
23.Z
4. 1

25.X

Se

265.
266.
267.
268.
269.
270.
271.
272.
273.

Pueden forman nuevos conjuntos y se evalan con el alfabeto y el grafico del autmata
X ={q 6 }

26.Z

Y ={q 3, q 5 }

Z ={q 1, q 2, q 7 }

N={qO , q 4 }

274.
37.CONJUNTO X
38.Alfabeto Estados

q6

39.0
44.CONJUNTO N
42.X

40.1

275.

48.

q0

43.N
46.0
49.Z

276.

51.

q4

52.Z

41.

45.Alfabeto Estados

47.1

53.Y

5
Y

277.
278.
54.
CONJUNTO
65.Alfabeto Estados
Y
68. q 1
55.Alfabeto Estados
58. q 3
61.

q5

71. q 2
74.

279.
280.
281.
282.
283.

284.

X ={q 6 }

q7

64.CONJUNTO Z
56.0
59.Z
62.Z

66.0
69.X
57.1
72.N 60.
X
75.X
63.X

67.1
70.Z
73.Z
76.Z

97.CONJUNTO X
98.Alfabeto Estados

q6

101.

99.0
102. X

100. 1
103. N
90.1

96.Y

87.CONJUNTO N
88.Alfabeto Estados
91.

q0

89.0
92.Z

94.

q4

95.Z

93.
Y

77.CONJUNTO Y
78.Alfabeto Estados
81.

q3

79.0
82.M

84.

q5

85.M

80.1

86.X

83.
X

285.
286.
287.

113. 0

114. 1

116. X

117.
106. M
0

104.CONJ
UNTO
M
107. 1

119. X

109. M
N
120.

110. M

111. CONJUNTO Z

288.112. Alfabeto Estados

q 1 105. Alfabeto Estados
115.
289.
q2
q 7 108.
118.
290.
291.

292. Como se mira en las tablas hay 5 conjuntos que comparten las mismas caractersticas,
estas 5 tablas son los 5 nuevos estados

X ={q 6 }

N= { qO , q 4 } ESTADO INICIAL (es q 0

Y ={q 3, q 5 }

Z ={q 1, q 7 }

M ={q 2}

que es el estado inicial)

ESTADO FINAL

293.
294.

Se arma el nuevo autmata con sus estados sacados de las tablas anteriores
( N , 0 )=Z ( Z , 0 )= X ( M , 0)=N

( N , 1 )=Y ( Z , 1 )=M ( M , 1)=M

( X , 0 ) =X ( Y , 0 )=M
( X , 1 )=N ( Y , 1 )= X

295.
296.

297. Realice el proceso de eliminacin de estados (que estados

se suprimen y porque). Realice la eliminacin de transiciones
y de estados.
298.
299. ESTADO
A ELIMINAR
301.

q3

303.

q7

305.

q4

300.

CAUSA DE LA ELIMINACIN

302. Se eliminara q3 ya que es un estado inaccesible, es decir que

ningn estado puede llegar a l.
304. Se eliminara q7 ya que es equivalente con q1 debido a que con 0
van a q6 y con 1 van a q2.
306. Se eliminara q4 ya que es equivalente con q0 (una vez se minimice
q1 con q7) debido a que con 0 van a q1 y con 1 van a q5.

307.

308.

309. Realice la tabla de estados distinguibles.

310.

No se utiliza q3 ya que se elimina por ser un estado inaccesible.

311.
312.
1
321.
2
330.
4
338.
5
346.
6

313.

X 314.

q 322.

323.

q 331. (
332.
q1,q7)
q
339. X 340.
q

347.

X 348.

X
X
X

315.

316.

317.

318.

319.

320.

324.

325.

326.

327.

328.

329.

334.

335.

336.

337.

342.

X 343.

344.

345.

350.

X 351.

X 352.

353.

333.
341.
349.

354.
7
362.
8
370.

q
q

357.

355.

X 356.

363.

X 364.

371.
0

q 372.
1

q 373.
2

365.

358.

X 359.

X 360.

366.

X 367.

X 368.

q 374.
4

q 375.
5

q 376.
6

361.
369.

377.

q7

378.
379.
381.
382.

Por lo tanto q1 ~ q7 y q0 ~ q4 y el autmata cociente mnimo es:

380. M = {q0,q1,q2,q3,q4},{0,1},,{q1},{q4}
Ntese que se elimin q3, q4 y q7.

383. Escribir la funcin de transicin del nuevo autmata.

384.
385.
386.
387.
388.
389.
390.

K = { q0,q1,q2,q3,q4}, identifica el conjunto de estados del autmata

= {1, 0}, es el alfabeto de entrada
s es el estado inicial, en nuestro caso {q1}
F es un conjunto de estados finales, en nuestro caso {q4}

391.
: K x K es la funcin de transicin, que a partir de un estado y un smbolo
del alfabeto obtiene un nuevo estado
392. : {q0,q1,q2,q3,q4} x{0,1} {q0,q1,q2,q3,q4} {q1} {q4}
393.
394. Viene dada por:
395.
396. (q0,0)=q0
397. (q0,1)=q1
398. (q1,0)=q3
399. (q1,1)=q2
400. (q2,0)=q4
401. (q2,1)=q0
402. (q3,0)=q0
403. (q3,1)=q4
404. (q4,0)=q1
405. (q4,1)=q4
406.

407. Identificar la expresin regular (explicarla en la lectura

matemtica que se le debe hacer).
408.
409.

Expresin Regular de Autmata Minimizado:

410.

((110*1+000*1)*(10+01)1*0)*(110*1+000*1)*(10+01)1*

411.

412. Identificar el lenguaje que reconoce y cinco posibles

cadenas vlidas.
413.
414.
415.

L= { {1, 0} | ((110*1+000*1)*(10+01)1*0)*(110*1+000*1)*(10+01)1*}

La forma matemtica del lenguaje del autmata:

L= {(110 n1, 000m1) , (10,01)1o0)p(110q1,000r1)s(10,01)1t} n, m, ,o,p,q,r,s,t 0}

416.

417. TEM
419. 1
421. 2
423. 3
425. 4
427. 5
429. 6

418.

CADENAS VALIDAS
420. 10
422. 101
424. 00101
426. 000110
428. 01001
430. 011010

431.

432. El autmatas nuevo expresarlo o graficarlo con su

respectivo diagrama de Moore.
433.

Expresin Regular de Autmata Minimizado:

434.

435.

((110*1+000*1)*(10+01)1*0)*(110*1+000*1)*(10+01)1*

436. Identificar sus tablas de Transicin

437.
438.

439.

440.

q0

442.

q0

443.

q1

444.
q1
447. q2

445.

q3

446.

q2

448.

q4

449.

q0

450.

q3

451.

q0

452.

q4

453. #q
4

454.

q1

455.

q4

441.

456.
457.

Con base en la informacin obtenida en la tabla de transicin, se puede afirmar que se

trata de un autmata tipo AFD (autmata finito determinstico), por cuanto siempre nos una
sola ruta para llegar al estado final.
458.

459.Disee un AP que dentro de su lenguaje L ={ab}* ;es

decir todas las combinaciones posibles de cadenas
conformadas por los smbolos (a) (b) o conjunto
universal de estrellas de kleene, (con pila vaca):
exceptuando o rechazando cadenas como:
460.

461.

Cadenas no vlidas.

Las que estn compuestas por uno o muchos smbolos b: ejemplo: {(b) (bb) (bbb) (bbbb)
(bbbbb) (bbbbbb) (bbbbbbb) (bbbbbbbb) (bbbbbbbbb) . }
En el diseo que haga es libre determinar si acepta la cadena vaca o no.
462.

463. Describa el autmata en notacin matemtica.

464.
465.

M = ({q0,q1} , {a,b} ,{z0,1} ,, q0)

466.
467.

La formalizacin de un autmata de pila es un sptuplo (K, ,,, s, F) en donde:

468.

K = {q0,q1} es el conjunto de estados

469.

= {a,b} es el alfabeto de entrada

470.

= {z0,1} es el alfabeto de la pila

471.

S K = = {q0} es el estado inicial

472.

Z0 es el smbolo inicial de la pila (o tambin se denota como Z simplemente)

473.

F K = {q0} es un conjunto de estados finales.

474.

(K x * x *) x (K x *) es la relacin (funcin) de transicin.

475.

476. Determine el lenguaje que reconoce el AP.

477.
478.
479.

L= { {a, b} | {ab}n}

La forma matemtica del lenguaje del autmata:

480.

L= {ab}n n 0}

481.

482. Justifique y asocio o evidencie si el diseo es un APND o

un APD
483.
484. El diseo es una autmata de pila no determinista (APND) ya que dado un estado, un
smbolo del alfabeto de entrada y otro del alfabeto de la pila, puede pasar a distintos estados y
reemplazar el tope de la pila por distintas cadenas i, avanzando o no la cabeza lectora una
posicin.
485.

Lo anterior lo podemos demostrar y sintetizar como:

486.

(q,,a) (K x V x )

487.

488. Grafquelo en JFLAP y realice el Traceback para las

transiciones. (Las columnas para un AP son: El estado en que
se encuentra el autmata, lo que falta por leer de la palabra
de entrada, y el contenido de la pila).
489.

Cadena: abab

490.
491.
492. ESTADO
495. q0
498. q1
501. q0
504. q1
507. q0

493. POR LEER

496. abab
499. bab
502. ab
505. b
508.

494. PILA
497. Z0
500. 1
503. Z0
506. 1
509. Z0

510.
511.
512.

513. Plasme las imgenes y capturas en el documento.

(Documente el proceso)
514.
515.

516.

DESCRIPCIN

517.

IMAGEN SIMULACIN

518.519. La cadena valida que esta lista

0
para leer es abab, inicia en el estado
q0, y la Pila esta en Z0

520.

521.522. Lee la primera a y se traslada al

1
estado q1, se introduce un 1 a la pila
y no se extrae nada.

523.

524.525. Lee la primera b y se traslada al

2
estado q0, se saca un 1 a la pila y no
se introduce nada.

526.

527.528. Lee la segunda a y se traslada al

3
estado q1, se introduce un 1 a la pila
y no se extrae nada.

529.

530.531. Lee la segunda b y se traslada al

4
estado q0, se saca un 1 a la pila y no
se introduce nada, quedando as
aceptada la cadena y la pila en z0.

532.

533.

534. Muestre el diagrama correspondiente de estados.

535.
536.
537.
538.
539.
540.
541.

121. ESTADO
124. q0
127. q1
130. q0
133. q1
136. q0

122. POR LEER

125. abab
128. bab
131. ab
134. b
137.

123. PILA
126. Z0
129. 1
132. Z0
135. 1
138. Z0

542.
543.
544.
545.
546.

547. Identifique los contenidos (el recorrido para cada

interaccin) de la pila y el estado de parada. Realcelo con
una cadena vlida.
139. ESTADO
142. q0
145. q1
148. q0
151. q1
154. q0

548.

140. POR LEER

143. abab
146. bab
149. ab
152. b
155.

141. PILA
144. Z0
147. 1
150. Z0
153. 1
156. Z0

Cadena: abab

549.
550.
551.
552.

553. Determine si su diseo acepta o no la cadena vaca y

explique por qu en cualquier caso, demostrando el
recorrido o comportamiento de la Pila. (Evidencindolo).
554.
555. El diseo acepta la cadena vaca, toda vez que el autmata termina de evaluar los estados
cuando ya no hay estados por leer, por cuanto este se queda en el estado aceptador,
convirtiendo la cadena vaca en una cadena valida.

157. ESTADO
160. q0

158. POR LEER

161.

159. PILA
162. Z0

556.
557.
558.

559.
560.
561.
562.
563.
564.
565.

BIBLIOGRAFIA

566.

MODULO

567.

AUTMATAS Y LENGUAJES FORMALES

568.
569.
570.
571.
572.
573.
574.

Gramticas formales

http://gramaticasformales.wordpress.com/
Gramatica libre de contexto
a pila http://luzem.dyndns.org/tag/gramatica-libre-decontexto-a-automata-de-pila/
lengujaes libres de Contexto

http://teodelacomp.blogspot.com/2011/03/automataspushdown-presentan-ing.html
575.
576.
577.
578.
579.

580.

Minimizacion de un autmata
http://www.youtube.com/watch?v=jd4cQ9yJj2c

Automata de pila
http://www2.dis.ulpgc.es/~mluengo/automatas/teoria/te
ma4.pdf