MAQUINA ESTADO

FINITO

PRESENTADO POR:
ESTEBAN RICARDO ARCE MELO
FERNANDO PERDOMO MELENDRO

TABLA DE CONTENIDO
Introduccin
Que es maquina de estado finito
Clasificacin
Tabla de estado y diagrama de estado de una mquina de
estados finitos
Cintas de entrada y de salida
Adicin binaria

INTRODUCCION
Las Maquinas de estados Finitos conocidas como Finite State Machines por
su traduccin al Ingles, nos sirven para realizar procesos bien definidos en
un
tiempo discreto. Reciben una entrada, hacen un proceso y nos entregan
una
salida. Notemos que estas maquinas hacen una computacin.
En otras palabras, imaginemos una maquina capaz de seguir una
secuencia finita de pasos al introducir un conjunto de datos en ella, solo se
puede leer un dato en cada paso que se realice, por tanto el numero de
pasos a seguir esta dado por el numero de datos a introducir.

Cada entrada diferente genera una salida diferente, pero siempre el

mismo resultado con los mismos datos de entrada. Por lo tanto una
computacin es capaz de resolver un problema, si y solo s tiene una
solucin algortmica, es decir, puede ser descrito mediante una
secuencia finita de pasos bien definidos.
Mediante una computacin podemos encontrar soluciones a
problemas que tericamente tienen una representacin algortmica,
pero que pueden necesitar tal cantidad de recursos (factores como
el tiempo y el espacio de almacenamiento) que desde el punto de
vista practico no se puede llegar a la solucin.

QUE ES MAQUINA DE ESTADO FINITO

Una maquina de estados finitos en un modelo abstracto para la manipulacin de
smbolos, nos permiten saber si una cadena pertenece a un lenguaje o nos
pueden generar otro conjunto de smbolos como resultado.
Llamaremos una Maquina de Estados Finitos como Autmata Finito, el hechos
que un Autmata y una Maquina de Estados Finitos son lo mismo, podemos
utilizar ambos trminos de forma indistinta.
Los Autmatas se caracterizan por tener un Estado inicial, reciben una cadena de
smbolos, cambian de estado por cada elemento ledo o pueden permanecer en el
mismo estado. Tambin tienen un conjunto de Estados Finales o Aceptables que
nos indican si una cadena pertenece al lenguaje al final de una lectura

DESCRIPCION DE LAS MAQUINAS DE ESTADO

FINITO

Se trata de un modelo matemtico, representado con recursos formales

(que se especificarn posteriormente), y que puede emplearse para
representar o simular el funcionamiento de un sistema real, que puede
ser electrnico o computacional o de otro tipo. Esto es muy til, ya que
posteriormente al diseo formal, se puede implementar en forma
sencilla por medio de un programa escrito en cualquier lenguaje de
programacin.

CLASIFICACIN
Autmata Finito Determinista
Autmata Finito no Determinista
Siempre llamamos un Autmata como Autmata Finito, esto nos
puede llevara pensar que existe algn tipo de Autmata Infinito,
lo cual no tiene mucho sentido pensar en un tipo de Maquina que
tiene un conjunto infinito de estados, pero a 'un se discute su
utilidad para propsitos prcticos. Un Autmata Infinito "tiene
cintas infinitas o registros de almacenamiento de capacidad
ilimitada, esto le da el carcter de infinito.

Autmata finito determinista

Un Autmata recibe secuencialmente una cadena de smbolos y
cambia de estado por cada smbolo ledo o tambin puede
permanecer en el mismo estado. Al final de la lectura el estado del
Autmata nos indica si la cadena es aceptada o mejor dicho
pertenece al Lenguaje que describe nuestra maquina. Si al final de
leer todos los smbolos de entrada la maquina esta en alguno de
los estados Finales entonces esa cadena
es aceptada, si el estado no es final entonces la cadena no
pertenece al lenguaje.

FORMULA
A = {Q, q0, F, , }
donde:
Q: Conjunto finito de estados.
q0: Estado inicial donde q0 Q. Debe haber uno y solo un
estado inicial.
F: Conjunto de estados finales F Q. El estado q0 tambin
puede ser final.
: Alfabeto finito de entrada.
: Foncions de Transition Q Q.

PARTES DE LA MAQUINA
DE ESTADO FINITO
Una mquina de estados finitos (o mquina secuencial completa) M
consta de seis partes:
1) Un conjunto finito A de smbolos de entrada.
2) Un conjunto finito S de estados internos.
3) Un conjunto finito Z de smbolos de salida.
4) Un estado inicial s0 en S.
5) Una funcin f de estado siguiente de S A en S.
6) Una funcin g de salida de S A en Z.

TABLA DE ESTADO Y DIAGRAMA DE

ESTADO DE UNA MAQUINA DE ESTADO FINITOS
Hay dos formas de representar una mquina de estados finitos M en forma breve.
Una es mediante la tabla de estado de la mquina M, y la otra es por medio de una
grfica dirigida etiquetada que se denomina diagrama de estado de la mquina M.
La tabla de estado combina la funcin f de estado siguiente y la funcin g de salida
en una sola tabla que representa la funcin F : S A S Z, la que se define:
F(si , aj ) = [ f (si , aj ), g(si , aj)]

MAQUINA DE ESTADO FINITO CON SALIDA

Mediante cada combinacin de entrada y estado interno, se
produce una salida y un estado siguiente. El conjunto de salidas,
para nuestra maquina es nada, monedas de cinco y diez cntimos
y productos A y B.
Los procesos de la maquina son secuenciales y se producen en
instantes distintos. La maquina es determinista ya que la salida
queda determinada por el estado y la entrada.

Una maquina de estado finito con. salida M = (S, I,O, f, g, s0) consiste en un
conjunto finito de estados S, un alfabeto (conjunto finito no vaco) de entradas I,
un alfabeto de salidas O, un estado inicial s0, una funcin de transicin f : S I !
S y una funcin de salida g : S I ! O.
Las maquinas de este tipo se llaman maquinas de Mealy porque fue G. H. Mealy,
en 1955, el primero que las estudio. Hay otro tipo importante de maquina de
estado finito con salida, donde la salida esta determinada solo por el estado.
Este tipo de maquina se llama maquina de Moore en honor a E. F. Moore, quien
la defini en 1956.
Una maquina M = (S, I,O, f, g, s0) puede describirse por una tabla de estados,
que indica los valores de las funciones f y g, o por un diagrama de estados, grafo
dirigido donde los vrtices representan los estados de la
maquina, el estado inicial se indica mediante una flecha que no proviene de otro
estado y existe una flecha, etiquetada por i, o, del estado s al estado s si f(s, i)
= s y g(s, i) = o.

Ejemplo

Autmatas finitos
Un autmata finito (determinista) es un modelo matemtico de una maquina que permite
saber si una cadena de smbolos pertenece o no a un lenguaje definido sobre cierto
alfabeto. Consiste en un conjunto finito de
estados y un conjunto de transiciones entre estos estados, que dependen de los smbolos
de la cadena de entrada. El autmata acepta una cadena de entrada si al terminar de leer
todos los smbolos de esa cadena la maquina esta en alguno de los posibles estados
finales; si el estado no es final, entonces la cadena no pertenece al lenguaje que reconoce
la maquina.
En el diagrama de transicin de un autmata finito los estados finales estn encerrados en
un circulo doble. Para cada estado si y un smbolo de entrada a hay una nica flecha de si
a f(si, a), que se etiqueta como a.

SIMPLIFICACIN DE AUTMATAS FINITOS

La simplificacin de un autmata finito M implica la identificacin de
estados equivalentes en M de manera que podamos obtener un
autmata con menos estados que acepte el mismo lenguaje.

ejemplo
Los autmatas M y M aceptan aquellas cadenas formadas por un numero par de
1s. Sin embargo, la estructura de M es ms complicada.