MAQUINAS DE ESTADO FINITO

Orlando Arboleda Molina

Escuela de Ingeniera de Sistemas y Computacion de La Universidad del Valle

25 de septiembre de 2008

Contenido

Maquinas de estado nito Denicion Representacion Maquinas de Mealy Ejercicios

Contenido

Maquinas de estado nito Denicion Representacion Maquinas de Mealy Ejercicios

Figura: Ejemplo de una maquina que produce salida

La maquina anterior puede reaccionar ante una entrada innta, identicando si los dos ultimos simbolos ingresados son iguales.

 Maquinas de estado nito

Una maquina de estado nito M = (S, I, O, f , g, s0 ) consiste en: Un conjunto nito de estados S. Un alfabeto de entrada nito I. Un alfabeto de salida nito O. Una funcion de transicion f que asigna a cada pareja de estado y entrada, un nuevo estado. Una funcion de salida g que asigna a cada pareja de estado y entrada, una salida. Un estado inicial s0 .

 Maquinas de estado nito (2)

Problema: Construir una maquina que acepte una cadena innta (Entrada = i0 , i1 , . . . in . . .) compuesta de los digitos {0, 1, 2, 3} y retorne una cadena(Salida = o0 , o1 , . . . on . . .), en la que cada posicion corresponde al computo del modulo 3 de la sumatoria de los valores ingresados hasta el momento (oi = ( ik=0 ik ) mod 3). Ejemplo: Entrada 2 1 0 3 1 2 0 0 1 1 3 . . . Salida 2 0 0 0 1 0 0 0 1 2 2 ...

 Maquinas de estado nito (3)

Posible solucion:

Figura: Ejemplo de una maquina de estado nito para el problema propuesto

Contenido

Maquinas de estado nito Denicion Representacion Maquinas de Mealy Ejercicios

 Representacion
Tabla de estados
Tambien denominada Tabla de transicion, es una tabla en la que se representan los valores de la funcion de transicion f y la funcion de salida g para cada combinacion de estado y entrada en una maquina de estado nito M.

Figura: Ejemplo de una tabla de estados

 Representacion (2)
Diagrama de estados
Es un grafo dirigido con aristas etiquetadas. Donde: Los estados son representados por un crculo. Los arcos son etiquetados con el par formado por la entrada y la salida de cada transicion.

Figura: Ejemplo de un digrama de estados

Contenido

Maquinas de estado nito Denicion Representacion Maquinas de Mealy Ejercicios

 Maquinas de Mealy

Las maquinas presentadas son llamadas maquinas de Mealy (en honor a G.H. Mealy quien las estudios en 1955) y en estas las salidas corresponden a transiciones entre estados. Nota: Las maquinas de estado nito tienen capacidad de memora limitada. El reconocimiento de lenguajes (producion de una salida 1 si y solo si, la cadena de entrada tiene determinada propiedad) es una aplicacion importante de las maquinas de estado nito.

Contenido

Maquinas de estado nito Denicion Representacion Maquinas de Mealy Ejercicios

Ejercicios
Construir maquinas de estado nito en cada caso: 1. Que reciba una secuencia de bits y complemente la entrada. 2. Que reciba una secuencia de bits y retarde la entrada una unidad de tiempo. Es decir, si la entrada fue x1 x2 . . . xk . La salida debe ser 0x1 x2 . . . xk1 . 3. Que reciba una secuencia de bits y retarde la entrada dos unidades de tiempo. 4. En un esquema de codicacion, cuando 3 unos consecutivos aparecen en un mensaje, el receptor del mensaje conoce que ha habido un error de transmision. Construir una maquina de estado nito que reciba una secuencia de bits y retorne como salida 1 si y solo si los ultimos 3 bits recibidos son todos unos.