Академический Документы
Профессиональный Документы
Культура Документы
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.
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.
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.
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.
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.