Semoforo Digital

CURSO : SISTEMAS DIGITALES

INGENIERO : MENDOZA RODRIGEZ, JOSE
INTEGRANTES : ILDEFONSO GOMEZ, Frank

SEMESTRE : VI

Huancayo – Perú
2011

Semaforo
SemaforoAnálisis y Diseño de Circuitos Secuenciales
1.-Objetivo:
Demostrar el funcionamiento y aplicación de los autómatas mediante una forma dinámica y sencilla. Con este proyecto desarrollado pretendo dar aconocer que los autómatas son herramientas útiles para modelar y analizar cualquier sistema en el universo. Han sido utilizados para modelar sistemas físicos, crear intérpretes y traductores hasta losmás complejos como los compiladores, así como interacciones entre partículas, formación de galaxias, cinética de sistemas moleculares y crecimiento de cristales, así como diversos sistemas biológicos anivel celular, multicelular y poblacional. 
2.-Apreciacion:
Permitir al alumno experimentar en vivo las aplicaciones de los autómatas y lograr interesarse por el tema demostrado, facilitando elaprendizaje a los mismos así como lograr el máximo aprovechamiento de la herramienta hacia el alumno interesado.
3.-Marco Teórico:
Un autómata finito es un modelo matemático de una máquina que aceptacadenas de un lenguaje definido sobre un alfabeto A. Consiste en un conjunto finito de estados y un conjunto de transiciones entre esos estados, que dependen de los símbolos de la cadena de entrada. ElAutómata finito acepta una cadena x si la secuencia de transiciones correspondientes a los símbolos de x conduce desde el estado inicial a un estado final.
Si para todo estado del autómata existecomo máximo una transición definida para cada símbolo del alfabeto, se dice que el autómata es determinístico (AFD). Si a partir de algún estado y para el mismo símbolo de entrada, se definen dos o mástransiciones se dice que el autómata es no determinístico (AFND).
Relación entre autómatas
finitos y lenguajes
Todo autómata finito reconoce un lenguaje
formal, que corresponde al conjunto...