Pregunta 1 Diseñe un autómata finito que reconozca el siguiente lenguaje:

L = {0xa2k+11 | x ϵ {r,s,t}* y la longitud de x es mayor que 0 y múltiplo de 2 y

k≥0}

----------------------------------------------------------------------------------------------------------
Pregunta 2

Considere la gramática
a. ¿Cuáles son los terminales, no terminales y símbolo inicial?
b. Construya una derivación por la izquierda para x+y*x.
c. Construya una derivación por la derecha para x+y*x.
d. Encuentre un árbol de análisis sintáctico para la frase x+y*x.
e. Demuestre que la gramática es ambigua

Repuestas:
a) Terminales = {x,y,+,*}
No Terminales = {E, O}
Símbolo inicial: E
b) Derivación por izquierda:
1 2 4 1 3 5 2
𝐸 ⇒ 𝐸𝑂𝐸 ⇒ 𝑥𝑂𝐸 ⇒ 𝑥 + 𝐸 ⇒ 𝑥 + 𝐸𝑂𝐸 ⇒ 𝑥 + 𝑦𝑂𝐸 ⇒ 𝑥 + 𝑦 ∗ 𝐸 ⇒ 𝑥 + 𝑦 ∗ 𝑥
c) Derivación por derecha:
1 2 5 1 3 4 2
𝐸 ⇒ 𝐸𝑂𝐸 ⇒ 𝐸𝑂𝑥 ⇒ 𝐸 ∗ 𝑥 ⇒ 𝐸𝑂𝐸 ∗ 𝑥 ⇒ 𝐸𝑂𝑦 ∗ 𝑥 ⇒ 𝐸 + 𝑦 ∗ 𝑥 ⇒ 𝑥 + 𝑦 ∗ 𝑥
d) Árbol de análisis sintáctico:

e) Gramática es ambigua porque se pueden encontrar más de un árbol para la

misma cadena:
Árbol 1:
 Árbol 2:

----------------------------------------------------------------------------------------------------------
Pregunta 3
Un autómata finito se define como una quíntupla . Dado el autómata
finito M= donde es

δ a b
S 1 {S , S }3 4 {S }
2

S 2 {S } 6 {S }
2

S 3 {S } 3 {S }
5

S 4 {S } 4 {S }
5

S 5 {S }
5

S 6 {S }6

a. ¿En qué puntos existe no determinismo?

b. Obtener el autómata finito determinístico equivalente.
c. Describir el lenguaje reconocido por los autómatas usando expresiones
regulares.

Repuestas:
a) Existe no determinismo en S1 para el símbolo a.

b)
δ a b
➔ S 1 S S 3 4 S2

S 2 S 6 S2

S S 3 4 S S 3 4 S5
 (F) S 5 S 5

(F) S 6 S 6

c) ER: aa*bb* | bb*aa*

𝑤1 =∈
𝑤34 = 𝑤1 𝑎 + 𝑤34 𝑎 -> 𝑤34 = 𝑎 + 𝑤34 𝑎 -> 𝑤34 = 𝑎𝑎∗
𝑤5 = 𝑤34 𝑏 + 𝑤5 𝑏 -> 𝑤5 = 𝑎𝑎∗ 𝑏 + 𝑤5 𝑏 -> 𝑤5 = 𝑎𝑎 ∗ 𝑏𝑏∗
𝑤2 = 𝑤1 𝑏 + 𝑤2 𝑏 -> 𝑤2 = 𝑏 + 𝑤2 𝑏 -> 𝑤2 = 𝑏𝑏 ∗
𝑤6 = 𝑤2 𝑎 + 𝑤6 𝑎 -> 𝑤6 = 𝑏𝑏 ∗ 𝑎 + 𝑤𝑎 𝑎 -> 𝑤6 = 𝑏𝑏 ∗ 𝑎𝑎∗

----------------------------------------------------------------------------------------------------------
Pregunta 4 Obtenga una gramática que reconozca el siguiente lenguaje:
L = {0xa2k+11 | x ϵ {r,s,t}* y la longitud de x es múltiplo de 2 y mayor que 0 y
k≥0}
S -> 0X
X-> rR | sR | tR
R-> rX | sX | tX | rA | sA | tA
A->aB
B->aC | 1
C-> aB
----------------------------------------------------------------------------------------------------------
Pregunta 5 Limpiar la gramática, eliminar la recursividad a la izquierda y los factores
comunes a la izquierda de la gramática G=({S,R,T),{x,y,z},S,P) donde P es
S → Rx | Tz | ε
R → Sz | z
T → zx | zxy
Paso 1:

S’ → S | ε
S →Rx | Tz
R → Sz | z
T → zx | zxy

Paso 2:

S’ → S | ε
S →Rx | Tz
R → Rxz | Tzz | z
T → zx | zxy

Paso 3:
S’ → S | ε
S →Rx | Tz
R → TzzR’ | zR’
R’ → xzR’ | ε
T → zx | zxy

Paso 4 - FINAL:

S’ → S | ε
S →Rx | Tz
R → TzzR’ | zR’
R’ → xzR’ | ε
T → zxT’
T’ → y | ε
----------------------------------------------------------------------------------------------------------
Pregunta 6 Escriba una expresión regular para el siguiente lenguaje:
L = cadenas sobre {0,1} con longitud mayor o igual a 3 y que terminen con 0.

ER: (0|1)(0|1) (0|1)* 0

----------------------------------------------------------------------------------------------------------
Pregunta 7 Escriba una gramática para el lenguaje L={ 0n12n+1: n>0 }.
S → 0D11
D → 0D11 | 1
----------------------------------------------------------------------------------------------------------
Pregunta 8 Diseñe un autómata con pila para el lenguaje L={ 0n12n+1: n>0 }.
GRUPO N°:
HORIZONTALES
4. Conjunto de cadenas definidas sobre un alfabeto
()
6. Analizador que agrupa componentes léxicos en
colecciones anidadas con un significado colectivo
(frases gramaticales) generalmente representadas
mediante árboles sintácticos.
7. Etapa dentro del proceso de generación de un
código objeto de un compilador en donde se intenta
mejorar el código intermedio producido en la etapa
anterior para que este se ejecute más rápido y/o
ocupe menos espacio.
8. Generador de analizadores sintácticos.
10. Genera el código máquina, específico de una
plataforma, a partir de los resultados del Front End.
11. Componente léxico. Cadena de caracteres que
tiene un significado coherente en cierto lenguaje de
programación.
13. Conjunto de símbolos que forman parte de las
palabras de un lenguaje.
14. Secuencia de caracteres que forman un token.
15. Secuencia de símbolos del alfabeto.
16. Es un programa informático capaz de analizar y
ejecutar otros programas, escritos en un lenguaje de
alto nivel. Sólo realizan la traducción a medida que
sea necesaria, típicamente, instrucción por
instrucción, y normalmente no guardan el resultado
de dicha traducción.
VERTICALES
1. Analizador que recibe cadenas de
caracteres como entrada y produce
como salida tokens o símbolos que
luego serán utilizados por el analizador
sintáctico para su traducción.
2. De acuerdo a la estructura provista
por el Analizador Sintáctico, este
analizador verifica si las expresiones y
declaraciones generadas siguen o no
las reglas del lenguaje de
programación empleado.
3. Procedimiento para obtener una
cadena a partir de otra, aplicando una
regla de producción.
5. Parte del compilador que analiza el
código fuente, comprueba su validez,
genera el árbol de derivación y
completa la tabla de símbolos.
9. Es un programa que traduce código
escrito en un lenguaje de
programación especifico (fuente) a
otro lenguaje (objeto) generando un
ejecutable.
12. Parte del modelo de compilador
que divide al programa fuente en sus
elementos componentes y crea una
representación intermedia.