TRABAJO PRÁCTICO

C. MÁQUINAS SECUENCIALES Y AUTÓMATAS

31. Para el siguiente autómata determine la expresión normal (regular) y su equivalente en

notación BNF:

32. Para la siguiente expresión: A.((A | B).C)*.C construya el AEFD. Realice la descripción
en forma gráfica, funcional y tabular.

33. Sea la expresión regular: a*.b.a*.b.(a|b)* construya el AEFD. Realice la descripción en

forma gráfica, funcional y tabular.

34. Determine la expresión regular para:

{ S -> b A, S -> a B, A -> a S, B -> b S }

35. Describa el autómata para la siguiente gramática G = { {S, A, B, C}, {x, y}, S, P } donde
P = { S ->xA, S ->yB, A ->xC, A ->yA, A ->λ, B ->xC, B ->yB, B ->λ, C ->λ }

36. Dada la siguiente especificación dibuje de autómata: L1 = {ancbm/ n > 0 y m ≥ 0 }

M ={ Q, , f, e0, F }
Q = { e0, e1, e2 }
 = { a, b, c }
ei = e0
F = { e2 }

37. Obtenga el AFD equivalente para el AFND, dibuje el autómata AFD indicando a cuáles
nodos del AFND, representa cada nodo. Describa la tabla completa de transiciones P(Q).

38. Obtenga el AFD equivalente para el AFND, dibuje el autómata AFD indicando a cuáles
nodos del AFNDoriginal, representa cada nodo.

Sintaxis y Semántica de Lenguajes: Guía de trabajos prácticos 6

 TRABAJO PRÁCTICO

39. Obtenga el autómata equivalente mínimo para:

40. Obtenga el autómata equivalente mínimo. Indicar la secuencia de conjuntos partición

obtenidos y dibujar el autómata resultante.

41. Para el siguiente AFND, encuentre el AFD equivalente, dibuje el autómata AFD
indicando a cuáles nodos del AFND original, representa cada nodo.

42. Obtenga el autómata equivalente mínimo. Indicar la secuencia de conjuntos partición

obtenidos y dibujar el autómata resultante.

Sintaxis y Semántica de Lenguajes: Guía de trabajos prácticos 7

 TRABAJO PRÁCTICO

Convención a usar con los AP: los símbolos en la pila se insertan en sentido 

43. Definir el APD reconocedor para el siguiente lenguaje:L = { a2n bn / n >= 0 }

a) por vaciado de pila.
b) por alcance del estado final.
c) vaciado de pila y alcance del estado final.

44. Definir losAPD equivalentes que reconocenL = {1n0n-1 con n > 0} por:
a) vaciado de pila.
b) alcance del estado final.
c) vaciado de pila y alcance del estado final.

45. Definir los APD equivalentes que reconocen L = { XnYn : n ≥ 0 } por:

a) vaciado de pila.
b) alcance del estado final.
c) vaciado de pila y alcance del estado final.

46. Defina el APD que reconoce el lenguaje L = { xR / R es par > 0 } para la siguiente
especificación:
A = ( Σe, Γ, Q, a0, q0, F, f, g )
{x}: alfabeto de entrada {x, #}: alfabeto de la pila
{q0, q1, q2}: conjunto de estados #: símbolo inicial de la pila
q0: estado inicial {q2}: estado final

Sintaxis y Semántica de Lenguajes: Guía de trabajos prácticos 8