Republica Bolivariana de VenezuelaUniversidad Pedagógica Experimental Libertador

Instituto Pedagógico de BarquisimetoDr. «Luis Beltrán Prieto Figueroa»

CIRCUITOS SECUENCIALES Y MÁQUINAS DE ESTADO FINITO.AUTÓMATAS DE ESTADO FINITO

Johana FreitezMaryelis UmbríaRosangela Pérez

Circuitos Combinacionales 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.

Circuito SecuencialEs 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.

lógicacombinacional

Entradas Salidas

Memoria

Estado presente

Próximo estado

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.

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.

Circuito secuencial asíncrono

Circuitos secuenciales síncronos

MÁQUINAS DE ESTADO FINITO

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).

Semántica

• 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.

EjemploSupongamos que se quiere modelar el comportamiento de una puerta. La puerta, inicialmente cerrada, puede pasar a estar abierta tras el evento “abrir puerta”. Una vezabierta, puede pasar al estado cerrada, tras el evento “cerrar puerta”.

AUTÓMATAS DE ESTADO FINITO

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.

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.

Representación como diagramas de estados

GRACIAS