Teora de la Computacion

2017.1 Lista 1
Prof. Marcela Quispe Cruz
1. Sea = {0, 1}. Presente gramaticas que generen los lenguajes abajo:

(a) L = {w / | w | es par} (h) L = {w / w posee 000 como subpalabra. }

(b) L = {awa / a } (i) L = {w / el sufijo de w es aa}
(c) L = {w / el segundo caracter de w de izquierda
(j) L = {w / w posee cantidad mpar de 0s y can-
para la derecha es 0}
tidad par de 1s }
(d) L = {w / el segundo caracter de w de derecha
para la izquierda es 0} (k) L = {w / el quinto caracter de la derecha para
la izquierda de w es 0}
(e) L = {w / w contiene, por lo menos, dos 0s
consecutivos } (l) L = {w1 w2 w1 / w2 cualquier y | w1 |= 3}
(f) L = {ww / w } (m) L = {w {a, b, c} / aa o bb es subpalabra y
n m
(g) L = {0 1 / n, m 0} ccc es sufijo de w}

2. Cuales de los lenguajes de la pregunta 1 son regulares? Presente gramaticas regulares para esos lenguajes
y grafique automatas que reconozcan esos lenguajes.
3. Los automatas que usted presento en la pregunta anterior son determinsticos? Si no, transforme los AFN
en AFD.
4. Que lenguajes los automatas abajo aceptan? Presente gramaticas regulares que generen el mismo lenguaje.
(a) = {a, b, c}
b, c
a
q0 qf

(b) = {a, b}
a b a
q0 q1 q2 q3

b
(c) = {a, b}
a
a
q1 q2

a b
b
q0

5. Que lenguajes las gramaticas abajo generan? Presente el AFD que las reconozcan.

(a) S 1R (d) S aS | bX | 
R 0 | 1R | 0R X bS

(b) S 0 | 1 | 0S | 1S (e) S aA
A aC | bC
(c) S  | 0 | 1 | 0A | 1A C aD | bD
A 0 | 1 | 0B | 1B D aE | bE | 
B0|1 ED