Activacion de motor con contraseña usando una Spartan 3A
Enviado por John0099 • 5 de Septiembre de 2017 • 1.406 Palabras (6 Páginas) • 622 Visitas
...
|Q|: Representa las filas.
|[pic 9]|: Representa las columnas.
Y el componente (i, j) que es el estado de trancision (qi,qj) donde qi es el i-esimo elemento de Q y qj el j-esimo elemento de [pic 10].[pic 11]
1.6 Máquina de estados finitos;
Se denomina máquina de estados a un modelo de comportamiento de un sistema con entradas y salidas, en donde las salidas dependen no sólo de las señales de entradas actuales sino también de las anteriores.
Las máquinas de estados se definen como un conjunto de estados que sirve de intermediario en esta relación de entradas y salidas, haciendo que el historial de señales de entrada determine, para cada instante, un estado para la máquina, de forma tal que la salida depende únicamente del estado y las entradas actuales.
Una máquina de estados se denomina máquina de estados finitos (FSM por finite state machine) si el conjunto de estados de la máquina es finito.
1.6.1 Maquina de estado finito sin salida
También llamados autómatas de estado finito, tienen un conjunto final de estados y reconocen una cadena si y solo si lleva el estado inicial a un estado final.
1.6.2 Máquina de estado finito con salida
Existen 2 tipos de máquinas con salida:
-Donde las salidas corresponden a transiciones se llaman máquinas de Mealy.
-Donde la salida está determinada por el estado se llama máquina de Moore.
1.7 Maquina de Moore
En la Teoría de la computación, una Máquina de Moore es un autómata de estados finitos donde las salidas están determinadas por el estado actual únicamente (y no depende directamente de la entrada). El diagrama de estados para una máquina Moore incluirá una señal de salida para cada estado.
[pic 12]
Ejemplo de maquina de moore
1.8 Máquina de Mealy
En la teoría de la computación, una Máquina de Mealy es un tipo de máquina de estados finitos que genera una salida basándose en su estado actual y una entrada. Esto significa que el Diagrama de estados incluirá ambas señales de entrada y salida para cada línea de transición.
[pic 13]
Ejemplo de maquina de Mealy
1.9 Minimización de autómatas
Una maquina esta reducida si y solo si todos sus estados sin accesibles desde un estado inicial y la función de salida es suprayectiva (cuando cada elemento de y es la imagen de como mínimo un elemento de x).
Sea A ∉{0} una partición de A es un conjunto π ={Ai}iI de subconjuntos de A.[pic 14]
1.- Para cualquier iI, Ai0.[pic 15][pic 16]
2.-si ij, AiAj=0.[pic 17][pic 18]
3.-Ui I Ai=0.[pic 19]
1.9.1 Algoritmo de minimización
1. - hacer π0 i={Q-F,F}
2. -Obtener π k+1 a partir de π k
3. -Repetir el paso 2 hasta hallar una m∀π m+1= π m.
1.10 Equivalencias entre máquinas
Dadas 2 máquinas M1, M2 diremos que son equivalentes denotándolas como M1 equivalente M2 si y solo si ∀x[pic 21], M1(x)M2 (x).[pic 20][pic 22]
2 Diagramas
2.1 Diagrama de estados
[pic 23]
2.2 Tabla de asignación
Estado Actual
Estado Siguiente
Salida
Entrada=0
Entrada=1
Entrada=0
Entrada=1
a
a
b
0
0
b
c
b
0
0
c
d
c
0
0
d
c
e
0
0
e
e
a
1
0
Estado Actual
Estado Siguiente
Salida
x2
x1
x0
Entrada=0
Entrada=1
Entrada=0
Entrada=1
X2
X1
X0
X2
X1
X0
0
0
0
0
0
0
...