Activacion de motor con contraseña usando una Spartan 3A
Ale DegolladoEnsayo8 de Enero de 2016
4.531 Palabras (19 Páginas)306 Visitas
[pic 1][pic 2]
Departamento de Ingeniería en Sistemas Computacionales
Academia de Sistemas Digitales
Diseño de Sistemas Digitales
Margarita Elizabeth Gómez Mayórga
Lino Cadena Francisco
Degollado Flores Jair Alejandro
Práctica 2.3 Motor
Grupo: 2CV7
Fecha de revisión de la práctica:
9 de Noviembre de 2015
Índice
1 Marco teórico 3
1.1.1 Símbolo 3
1.1.2 Alfabeto 3
1.1.3 Palabra 3
1.1.4 Lenguaje 3
1.2 Teoría de autómatas 3
1.3 Autómata Finito 4
1.4 Autómata Finito no determinista 4
1.5 Tabla de transición 5
1.1 Maquina de estado finito 6
1.2 maquina de Mealy 6
1.3 Maquina de Moore 6
1.4 Minimización de autómatas 7
2 Diagramas 8
2.1 Diagrama de estados 8
2.2 Tablas de asignación 9
2.3 Tablas completa 10
2.4 Mapas de Karnaugh 11
2.5 Circuito resultante 13
4 Programa 14
5 Pantalla de compilación 16
6 Pantallas de simulación 17
7 Conclusiones 20
8 Referencias 20
1 Marco Teorico
1.1.1 Símbolo
Representa un dato arbitrario que tiene algún significado a o efecto en la máquina. A estos símbolos también se les llama "letras" o "átomos"
1.1.2 Alfabeto
Se denomina alfabeto a cualquier conjunto no vacío de elementos denominados símbolos, Un alfabeto se indica normalmente con la letra [pic 3], o por cualquier otra letra mayúscula del alfabeto griego, que es el conjunto de letras en un alfabeto.
1.1.3 Palabra
Cualquier secuencia finita de símbolos de un alfabeto. La cadena de cero símbolos se denomina cadena vacía, y se denota por λ. Se denomina longitud al número de símbolos que contiene una palabra. Se denota por [pic 4] al conjunto de todas las palabras sobre un alfabeto (cerradura de Kleene).
1.1.4 Lenguaje
Un conjunto de palabras, formado por símbolos en un alfabeto dado. Puede ser infinito.
1.2 Teoría de autómatas
La teoría de autómatas es una rama de las ciencias de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.
Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas en inglés). Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de una serie de estados de acuerdo a una función de transición (que puede ser expresada como una tabla).
La entrada es leída símbolo por símbolo, hasta que es "consumida", una vez la entrada se ha agotado, el autómata se detiene.
Dependiendo del estado en el que el autómata finaliza se dice que este ha aceptado o rechazado la entrada. Si éste termina en el estado "acepta", el autómata acepta la palabra. Si lo hace en el estado "rechaza", el autómata rechazó la palabra, el conjunto de todas las palabras aceptadas por el autómata constituyen el lenguaje aceptado por el mismo.
1.3 Autómata finito
Se define como un sistema que trabaja con un conjunto de entradas y salidas discretas, Cada estado de un autómata finito determinista puede o no tener una transición por cada símbolo del alfabeto.
.
Formalmente, un autómata finito (AF) puede ser descrito como una 5-tupla
[pic 5]
Dónde:
Q: Conjunto finito de estados.
- : Conjunto finito de símbolos.
[pic 6]: Función de trancision.
q0: Estado inicial.
F: Conjunto de estados finales.
1.4 Autómata finito no determinista (AFND)
Este modelo permite 0,1 o más transiciones a partir de 1 estado con un determinado símbolo de entrada.
Una cadena de entrada se dice que es aceptada por un AFND si existe una secuencia de transiciones que lleva del estado inicial a algún estado final.
Formalmente, un autómata finito no determinista (AFND o AFN) puede ser descrito como una 5-tupla
[pic 7]
Dónde:
Q: Conjunto finito de estados.
- : Conjunto finito de símbolos.
[pic 8]: Función de trancision.
q0: Estado inicial.
F: Conjunto de estados finales.
1.5 Tabla de trancision:
La función de trancision de un autómata puede representarse mediante una tabla de trancision o diagrama donde:
|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.
...