Activacion de motor con contraseña usando una Spartan 3A

[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:

...