uvm automatas finitos

Nombre del estudiante: Alfredo Gabriel García Martínez
Matricula:80003225
Materia: Teoría de la Computación
Ciclo: primer
Ficha No :
UNIDAD 1. 3. Máquinas teóricas3.1 Autómatas finitos y lenguajes regulares.
Nombre del profesor: José Humberto Navarro Hinojosa

Fecha de entrega 20/08/11

Información
Un autómata finito (AF)o máquina de estado finito es un modelo matemático que realiza cómputos en forma automática sobre una entrada para producir una salida.
Este modelo está conformado por un alfabeto, unconjunto de estados y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una función de transición, que recibe a partir de un estado inicial una cadenade caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse enun estado final o de aceptación, que representa la salida.
La finalidad de los autómatas finitos es la de reconocer lenguajes regulares, que corresponden a los lenguajes formales mássimples

1. Lenguajes regulares Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades:

Puede ser reconocido por:
un autómata finitodeterminista
un autómata finito no determinista
un autómata finito alterno
una maquina de turing de solo lectura
2.
Es generado por:
una gramática regular
una gramática deprefijos
Es descrito por:
una expresión regular




Resumen del tema con sus propias palabras: lenguajes de programación que tienen una entrada y una salida.
El lenguajeregular trabaja en conjunto el autónomo finito.


Bibliografía: de libros, revista, páginas web. Etc.

wikipedia.org
www.slideshare.net Carlos Rivera Trejo