Teorı́a de autómatas y lenguajes formales

Ingenierı́a en Computación e Informática

Ejercicios

FORMAR TRANSFORMAR
 Contenidos

1 Ejercicios

FORMAR TRANSFORMAR
Ejercicios

Ejercicio 1

• Se desea diseñar un dispositivo que, dada una cadena formada por números binarios, acepte las palabras que contengan la palabra
clave 1011.

• Nótese que si la cadena fuera, por ejemplo, 0101011011011, se detectarı́an dos ocurrencias de la palabra clave, aceptando la palabra.

• Se pide construir el Autómata Finito Determinista correspondiente.

FORMAR TRANSFORMAR
Ejercicios

Ejercicio 2

• En algunos lenguajes de programación, los comentarios aparecen entre los delimitadores /* y */ como marca inicial y final del
comentario.

• Sea L el lenguaje de todas las cadenas de comentarios delimitados. Ası́ pues todo elemento de L, empieza por /* y acaba por */,
pero no debe tener ningún */ intermedio.

• Indicar el Autómata Finito Determinista que reconoce L.

• Considere Σ = {a, b, /, ∗}.

FORMAR TRANSFORMAR
Ejercicios

Ejercicio 3

Construya los AFDs que acepten cada uno de los siguientes lenguajes. Escrı́balos formalmente y dibújelos.
1. w ∈ {a, b}, cada a en w está precedido y seguido por una b

2. w ∈ {a, b}, w contiene la abab como subcadena.

3. w ∈ {a, b}, w no tiene ni aa ni bb como subcadena.

4. w ∈ {a, b}, w tiene una cantidad impar de a’s y una cantidad par de b’s.

5. w ∈ {a, b}, w tiene ab y ba como subcadenas.

FORMAR TRANSFORMAR
Ejercicios
Ejercicio 4

Dibuje los AFDs y describa el lenguaje que aceptan.

Q = {q0 , q1 , q2 , q3 , q4 }
Q = {q0 , q1 , q2 , q3 } Σ = {a, b} Q = {q0 , q1 , q2 , q3 }
Σ = {a, b} q0 = q0 Σ = {a, b}
q0 = q0 F = {q2 , q3 } s = q0
F = {q1 } δ = {(q0 , a, q1 ) F = {q0 }
δ = {(q0, a, q1 ) (q0 , b, q3 ) δ = {(q0 , a, q1 )
(q0 , b, q2 ) (q1 , a, q1 ) (q0 , b, q3 )
(q1 , a, q3 ) (q1 , b, q2 ) (q1 , a, q2 )
(q1 , b, q0 ) (q2 , a, q4 ) (q1 , b, q0 )
(q2 , a, q2 ) (q2 , b, q4 ) (q2 , a, q3 )
(q2 , b, q2 ) (q3 , a, q4 ) (q2 , b, q1 )
(q3 , a, q2 ) (q3 , b, q4 ) (q3 , a, q3 )
(q3 , b, q2 )} (q4 , a, q4 ) (q3 , b, q3 )}
(q4 , b, q4 )}
FORMAR TRANSFORMAR
 Teorı́a de autómatas y lenguajes formales
Ingenierı́a en Computación e Informática

Ejercicios

FORMAR TRANSFORMAR