upel-images

upelclases01

MVC-001S

upel-images

1/6

Circuitos Secuenciales

En la tematica anterior se analizaron los circuitos combinatorios en los que la salida depende sólo de la entrada. Estos circuitos carecen de memoria. En el presente capítulo se comenzará por estudiar los circuitos en los que la salida depende no sólo de la entrada, sino también del estado del sistema en el momento en que se introduce la entrada. El estado del sistema está determinado por el proceso anterior. En este sentido, estos circuitos tienen memoria; se conocen como circuitos secuenciales y su importancia es evidente en el diseño de computadoras

Maquina de estado finito

Una máquina de estado finito es un modelo abstracto de una máquina con una memoria interna primitiva.
Una máquina de estado finito M consiste en

a) Un conjunto finito Ide símbolos de entrada.

b) Un conjunto finito Ode símbolos de salida.

c) Un conjunto finito Sde estados.

d) Una función f del siguiente estado de S×Ien S. e) Una función g de salida de S×I en S. f) Un estado inicial σ ∈S. Se escribe M=(I, O, S, f, g, σ).

Automata de Estado Finito

Un autómata de estado finito A= (I, O, S, f, g, σ0) es una máquina de estado finito en la que el conjunto de símbolos de salida es {0, 1} y donde el estado actual determina la última salida. Aquellos estados para los que la última salida fue 1 se llaman estados de aceptación.