Ejercicios Procesamiento de Lenguajes Formales

6
Universidad de Santiago de Chile Facultad de Ingeniería Departamento de Ingeniería Informática Ingeniería Civil en Informática Procesamiento de Lenguajes Formales EJERCICIOS 1 PEP N°1 1. En la Figura 1 aparece la tabla de transiciones de un AFD. 0 1 A B A B A C C D B *D D A E D F F G E G F G H G D Figura 1. Construir el AFD mínimo equivalente. [4,2 ptos.] Método 1. [1,6 ptos.] Método 2. 2. En la Figura 2 aparece la tabla de transiciones de un AFD. 0 1 A B E B C F *C D H D E H E F I *F G B G H B 1 Ejercicios seleccionados de: Hopcroft, J.; Motwani, R. y Ullman, J., Introducción a la Teoría de Autómatas, Lenguajes y Computación, Addison Wesley, 2002. Capítulos: 2.3.7, 2.5.6, 3.2.4 y 4.4.5. Profesora: Sra. Consuelo Ramírez. 1

Transcript of Ejercicios Procesamiento de Lenguajes Formales

Universidad de Santiago de ChileFacultad de Ingeniería

Departamento de Ingeniería InformáticaIngeniería Civil en Informática

Procesamiento de Lenguajes Formales

EJERCICIOS1

PEP N°1

1. En la Figura 1 aparece la tabla de transiciones de un AFD.

0 1A B A

B A CC D B

*D D AE D FF G EG F GH G D

Figura 1.

Construir el AFD mínimo equivalente.[4,2 ptos.] Método 1.[1,6 ptos.] Método 2.

2. En la Figura 2 aparece la tabla de transiciones de un AFD.

0 1A B E

B C F*C D HD E HE F I

*F G BG H BH I C*I A E

Figura 2.

Construir el AFD mínimo equivalente.[3,5 ptos.] Método 1.[1,1 ptos.] Método 2.

1 Ejercicios seleccionados de: Hopcroft, J.; Motwani, R. y Ullman, J., Introducción a la Teoría de Autómatas, Lenguajes y Computación, Addison Wesley, 2002. Capítulos: 2.3.7, 2.5.6, 3.2.4 y 4.4.5.

Profesora: Sra. Consuelo Ramírez. 1

Universidad de Santiago de ChileFacultad de Ingeniería

Departamento de Ingeniería InformáticaIngeniería Civil en Informática

Procesamiento de Lenguajes Formales

3. Convertir el siguiente AFN a AFD:[4,1 ptos.] Método 1.[2,1 ptos.] Método 2.

0 1p {p, q} {p}

q {r} {r}r {s}

*s {s} {s}

4. Convertir el siguiente AFN a AFD:[4,5 ptos.] Método 1.[2,8 ptos.] Método 2.

0 1p {q, s} {q}*q {r} {q, r}

r {s} {p}*s {p}

5. [1,1 ptos.] Sea el siguiente AFN-.

a b cp {p} {q} {r}

q {p} {q} {r} *r {q} {r} {p}

Convertir el autómata en un AFD.

6. [2,0 ptos.] Sea el siguiente AFN-.

a b cp {q, r} {q} {r}

q {p} {r} {p, q}*r

Convertir el autómata en un AFD.

Profesora: Sra. Consuelo Ramírez. 2

Universidad de Santiago de ChileFacultad de Ingeniería

Departamento de Ingeniería InformáticaIngeniería Civil en Informática

Procesamiento de Lenguajes Formales

7. Convertir las siguientes expresiones regulares a AFN con transiciones .

a) [0,9 ptos.] 01*

b) [1,2 ptos.] (0 + 1)01c) [1,6 ptos.] 00(0 + 1)*

8. Eliminar las transiciones de los AFN- del ejercicio 7.

a) [1,2 ptos.]b) [2,2 ptos.]c) [2,6 ptos.]

9. Aquí tenemos la tabla de transición de un AFD:

0 1q1 q2 q1

q2 q3 q1

*q3 q3 q2

Obtener una expresión regular para el lenguaje del autómata.[2,9 ptos.] Método 1.[0,7 ptos.] Método 2.

10. Aquí tenemos la tabla de transición de un AFD:

0 1q1 q2 q3

q2 q1 q3

*q3 q2 q1

Obtener una expresión regular para el lenguaje del autómata.[2,9 ptos.] Método 1.[0,6 ptos.] Método 2.

Profesora: Sra. Consuelo Ramírez. 3