Universidad Santiago de Cali

Informática Teórica
Mayo 19 2021
Alumno:Franciny Marin Romero
Profesor: Gustavo Alomía
Preparación Tercer Parcial

1. Determine dos palabras generadas por la gramática y determine la expresión no regular

asociada
AxAy
Axy
R/ XXYY, XXXYYY.

{X^n y^n |n>=2}={XXYY,XXXYYY…}.

2. Dado el autómata de pila

a. Cual de las siguientes palabras es reconocida?

W1: zzxxxxyxyxz
W2: zzzxxxzzz
W3: xxyy
W4: zxxyyz
W5: yyxx
b. Dibuje la secuencia de llenado de pila para la palabra reconocida

Pilas:

x
x x x
z z z z z z
 3.Dado el siguiente autómata de pila

a. Determine cuál de las siguientes palabras pertenece al lenguaje generado por el

autómata
W1: xxyz
W2: xyzz
W3: xyyz
b. Determine la secuencia de llenado para la palabra
W1: xxxyyyyyyyyzzz

x x x x x x x x x
x x x x x x x x x x x
x x x x x x x x x x x x x
z z z z z z z z z z z z z z z

c. Determine 3 palabras que reconozca el autómata de pila

R// xxyyyyzz, xxxxyyyyyyyyzzzz, xxyyyyzz.
d. Determine el lenguaje no regular asociado al autómata de pila
R// x^n y^m z^n | n>=1 m>=1
3. Dada la siguiente Maquina de Turing
δ:(q0,0)= (q0,B,R)
δ:(q1,1)= (q1,B,R)
δ:(q0,1)= (q1,B,R)
δ:(q1,B)= (qF,B,R)
a. Dibuje el diagrama de estados asociado
b. Dibuje la cinta resultante al evaluar la siguiente cinta

0 1
0 1
B 1
B B
B B
B B
B B
1 B
1 B
1 B
1 B
B B
B B
B B

c. Dibuje una cinta que pueda ser asimilada por la MT, y dibuje también la cinta resultante

0 1 1 1 B B B B B B

d. Determine el lenguaje regular asociado reconocido por la MT

0*11*
4. Dada la siguiente Maquina de Turing
δ:(q0,0)= (q1,1,)
δ:(q1,1)= (q0,0,)
δ:(q1,B)= (qf, B,)
a. Dibuje el diagrama de estados asociado

b. Dibuje la cinta resultante al evaluar la siguiente cinta, con el cabezal en el primer 0

b 0 1 0 b b

O 1 0
0 1 0
1 1 0
1 0 0
 1 0 1
1 0 1

c. Determine el lenguaje regular asociado reconocido por la MT

L = {(01)*0}
5. Convierta a la FNC
SaAB
AaBb
Aa
Bbb

PASO 1:
P1={
S->B1AB
A-> B1BB2
A->a
B-> B2 B2
B1->a
B2->b
}
PASO 2:
P2={
S->B1C1
C1->AB
A-> B1 C2
C2->BB2
A->a
B->B2B2
B1->a
B1->b
}

6. Dada la siguiente gramática, realice los procesos necesarios para retirar los símbolos
épsilon
SAB
AaA| ε
BbB| ε

Identificamos las producciones que tienen ε en A Y B

ELIMINAMOS EN A:

SAB|B
AaA| a
BbB| ε
 ELIMINAMOS EN B:
SAB|B|A
AaA| a
BbB| b

7. El algoritmo de Cocke-Younger-Kasami (CYK) determina si una cadena puede ser generada

por una gramática libre de contexto, mediante CKY exprese y determine si “aabbb”
pertenece a la gramática
SAB|AX|BX
XZY
YBB
ZAB|AX
Aa
Bb