Maquina de Estado Finito, Circuito Secuenciales y Automatas de Estado Finito
1. Republica Bolivariana de Venezuela
Universidad Pedagógica Experimental Libertador
Instituto Pedagógico de Barquisimeto
Dr. «Luis Beltrán Prieto Figueroa»
Johana Freitez
Maryelis Umbría
Rosangela Pérez
2. Su salida depende solamente
de la combinación presente de
valores de las entradas, es decir, a
una misma combinación de
entrada responden siempre con la
misma salida.
3. Es un circuito cuya salida depende no solo de
la combinación de entrada, sino también de la
historia de las entradas anteriores. El circuito
secuencial debe ser capaz de mantener su
estado durante algún tiempo, para ello se
hace necesario el uso de dispositivos de
memoria.
Entradas lógica Salidas
combinacional
Estado Próximo
presente estado
Memoria
4. Un sistema secuencial dispone de
elementos de memoria cuyo
contenido puede cambiar a lo
largo del tiempo. El estado de un
circuito secuencial viene dado por
el contenido de sus elementos de
memoria.
5. los cambios de estado ocurren al ritmo
natural marcado por los retardos asociados
a las compuertas lógicas utilizadas en su
implementación, sin necesidad de ninguna
señal externa al sistema.
La sincronización depende exclusivamente
de una señal externa al sistema, conocida
generalmente como señal de reloj. Esta
señal de reloj controlará el
comportamiento de los elementos de
memoria.
6. Una máquina de estados se denomina
máquina de estados finitos si el conjunto de
estados de la máquina es finito, este es el único
tipo de máquinas de estados que podemos
modelar en un computador en la actualidad.
Sin embargo un ejemplo de una máquina de
estados infinitos sería un computador cuántico
esto es debido a que los bit que utilizaría este
tipo de computadores toma valores
continuos, en contraposición los bits toman
valores discretos (0 ó 1).
7. • Los nodos representan los posibles
estados de aquello que se desea modelar.
• Las etiquetas representan eventos que
provocan un cambio.
• Las aristas determinan de qué manera
cada estado, dado un evento, deriva en
otro estado.
8. Ejemplo
Supongamos que se quiere modelar el
comportamiento de una puerta. La puerta,
inicialmente cerrada, puede pasar a estar
abierta tras el evento “abrir puerta”. Una vez
abierta, puede pasar al estado cerrada, tras el
evento “cerrar puerta”.
9. Un Autómata Finito, también llamado
Autómata de Estado Finito, es toda
Máquina de Estado Finito en la que el
conjunto de símbolos de salida es
exclusivamente O= { 0, 1 } y dónde el
estado actual determina cuál fue el último
dato de salida. Aquellos estados para los
cuales el último dato de salida fue 1, se
denominan estados de aceptación.
10.
11. Los autómatas finitos se pueden representar
mediante grafos particulares, también llamados diagramas
de estados finitos, de la siguiente manera:
• Los estados se representan como
vértices, etiquetados con su nombre en el interior.
• Una transición desde un estado a otro, dependiente
de un símbolo del alfabeto, se representa mediante una
arista dirigida que une a estos vértices, y que está
etiquetada con dicho símbolo.
• El estado inicial se caracteriza por tener una arista
que llega a él, proveniente de ningún otro vértice.
• El o los estados finales se representan mediante
vértices que están encerrados a su vez por otra
circunferencia.