Está en la página 1de 5

1

Matem atica Discreta, curso 20132014

Ejercicios Tema 5. M aquinas de estado nito

y expresiones regulares
Objetivos: Al acabar el tema el alumno debe ser capaz de:

Matemtica Discreta. rea de lgebra Universidade da Corua

1. Dar la denici on formal de m aquina de estado nito y aut omata nito (determinista). 2. Dada una m aquina de estado nito, calcular la secuencia de salida para una secuencia de entrada.

3. Dibujar el diagrama de estados de una m aquina de estado nito a partir de su tabla de estados, y vice-versa.

4. Construir una m aquina de estado nito (sencilla) que realice una acci on determinada. 5. Construir un aut omata de estado nito que reconozca cierto tipo de entradas. 6. Hallar el lenguaje reconocido por un aut omata. 7. Construir expresiones regulares sobre un alfabeto dado. 8. Hallar el conjunto regular denido por unas expresiones regulares dadas y determinar si una cadena pertenece o no a un conjunto regular dado.

9. Conocer la relaci on entre lenguajes regulares y aut omatas nitos (un lenguaje es regular si, y s olo si, existe un aut omata nito que lo reconoce). 10. Entender el concepto de simplicaci on/minimizaci on de aut omatas y saber minimizar un aut omata de estado nito dado.

Ejercicios:
1. Dibuja el diagrama de estados para la m aquina de estado nito cuya tabla de estados es la siguiente. Partiendo del estado s0 , calcula la salida para la cadena de entrada 1000110. Estados Transici on Entrada 0 1 s0 s4 s0 s3 s0 s2 s1 s1 s1 s0 Salida Entrada 0 1 1 1 0 1 0 0 1 1 1 0

s0 s1 s2 s3 s4

2 2. Dibuja el diagrama de estados para la m aquina de estado nito cuya tabla de estados es la siguiente. Partiendo del estado inicial s0 , calcula la salida para la cadena de entrada abbccc. Estados Transici on Entrada a b c s0 s3 s2 s1 s1 s3 s1 s1 s3 s2 s3 s0 Salida Entrada a b c 0 1 1 0 0 1 1 1 0 1 0 1

s0 s1 s2 s3

Matemtica Discreta. rea de lgebra Universidade da Corua

3. Halla la tabla de estados para la m aquina de estado nito cuyo diagrama de estados es:

1, 0 s0

1, 0 s1 0, 0

0, 1

Qu e debe recordar cada estado? Encuentra las cadenas x I para las cuales la secuencia de salida termina en 1.

4. Construye una m aquina de estado nito que modele una m aquina expendedora de bebidas que acepta monedas de 5, 10 y 20 c entimos. La m aquina acepta monedas hasta que se introducen 25 c entimos y devuelve cualquier cantidad que supere los 25 c entimos. Entonces, el cliente puede pulsar los botones y elegir una bebida de cola (C), una cerveza (Z) o una t onica (T).

5. Construye una m aquina de estado nito con conjunto de entradas I = {0, 1} que cambie los bits de lugar par de una cadena de entradas y deja los restantes sin cambiar, es decir, para una secuencia de entradas x1 x2 x3 x4 x5 x6 x7 la salida es x1 x2 x3 x4 x5 x6 x7 , siendo xi el complemento de xi . 6. Dise na una m aquina de estado nito que en un instante determinado produzca la salida 1 si la entrada hasta ese instante contiene k unos, donde k es m ultiplo de 3, y produce salida 0 en caso contrario. 7. Determina si la cadena 11101 pertenece o no a cada uno de los conjuntos siguientes: a ) {0 , 1 } b ) {1 } {0 } {1 } c ) {11}{1}{01} d ) {11}{01} e ) {111} {0}{1} f ) {111, 000}{00, 01}

8. Sea I = {x, y, z }, dados los lenguajes nitos A = {x, xy, z } y B = {, y } halla los conjuntos AB y BA.

3 9. Sean L1 el conjunto regular denido por la expresi on regular 0 1 y L2 el denido por 10 1 0 (0 1) . Encuentra a ) una palabra que pertenezca a L1 pero no a L2 b ) una palabra que pertenezca a L2 pero no a L1 c ) una palabra que pertenezca a L1 y a L2 d ) una palabra que no pertenezca ni a L1 ni a L2 10. Determina qu e cadenas de cada uno de los siguientes conjuntos

Matemtica Discreta. rea de lgebra Universidade da Corua

a ) {0 }

b ) {1}{0}

c ) {01}

d ) {0 } {1 }

son reconocidas por el aut omata cuyo diagrama de estados es

0 s0 1 s2 0

1 0 1 0

s1 1 s3

11. Halla el lenguaje reconocido por cada uno de los aut omatas siguientes. Indica la expresi on regular correspondiente. a ) F = { s1 }

1 s0 0 0 11 s1 s1 s1 0 s2 0 s0 1 0 1 s1 0 s2 0 1 0 1 1 0 1 s2 s21 0 s3

1 0 1 0

b ) F = { s1 }

s0
c ) F = { s2 }

s0 0

d ) F = { s0 , s2 }

e ) F = { s0 , s1 }

0 s0 1 0 1 s1 0 s2

4 f ) F = { s1 , s3 }

1 s0 0

0 s1 1 s2

0 1

0 s3 1

12. Para cada uno de los conjuntos descritos a continuaci on, halla un aut omata nito que lo reconozca: a ) Conjunto de cadenas con ceros y unos en las cuales hay un exactamente dos ceros.

Matemtica Discreta. rea de lgebra Universidade da Corua

b ) Conjunto de cadenas con ceros y unos en que empiezan con cero y contienen exactamente un uno. c ) Conjunto de cadenas con ceros y unos de longitud 2 en las cuales las dos u ltimas entradas son iguales (es decir, terminan en 00 o 11). d ) Conjunto de cadenas con ceros y unos en las cuales hay un n umero par de unos. e ) Conjunto de cadenas con ceros y unos en las cuales hay un n umero par de unos y un n umero par de ceros. f ) Conjunto de cadenas con ceros y unos en las cuales hay un n umero par de unos y el n umero de ceros es m ultiplo de 3. g ) Conjunto de cadenas con ceros y unos en las cuales hay el n umero de unos no es m ultiplo de 4.

13. Construye un aut omata de estado nito con conjunto de entradas I que dada una cadena de entrada determine si dicha cadena termina o no con aba en cada uno de los casos siguientes: a) I = {a, b} b) I = {a, b, c} 14. Describe un aut omata nito que acepte cada uno de los lenguajes siguientes: a ) L = {a, b} b ) L = {(01)n 1 / n > 0} c ) L = {abx / x {a, b} } {bax / x {a, b} } d ) L = {x / x {0, 1} x no contiene el substring 001} e ) L = {abx / x {a, b} el n umero de as en x es m ultiplo de 3} f ) L = {abx / x {a, b} el n umero de as en abx es m ultiplo de 3} 15. Halla el aut omata cociente de (S = {s0 , s1 , s2 , s3 , s4 }, I = {0, 1}, f, s0, F = {s3 , s4 }) con la tabla de transici on Estados Transici on Entrada 0 1 s1 s2 s2 s3 s2 s4 s3 s3 s4 s4

s0 s1 s2 s3 s4

5 16. Halla el aut omata cociente del aut omata cuyo diagrama de transici on es:

b s0 a b s3 b s1

a s2 a a s4 a

Matemtica Discreta. rea de lgebra Universidade da Corua

17. Halla el aut omata cociente de (S = {s0 , s1 , s2 , s3 , s4 , s5 , s6 }, I = {0, 1, 2}, f, s0, F = {s3 , s4 , s5 , s6 }) con la tabla de transici on Estados Transici on Entrada 0 1 2 s2 s4 s1 s1 s6 s0 s0 s5 s2 s1 s4 s5 s4 s6 s5 s4 s4 s6 s5 s5 s4

s0 s1 s2 s3 s4 s5 s6