S E

AT A N
Ó M C I Ó
UT A
A O RM
IN F
 INTRODUCCIÓN

 La Teoría de Autómatas permite estudiar de un modo sistemático las

máquinas.
 Es una maquina que procesa cadenas de símbolos que recibe como
entrada, cambiando de estado y produciendo una salida que, en
algunos casos, puede estar formada por otra cadena de símbolos.
 Los trabajos sobre lenguajes y gramáticas formales han evolucionado en
una dirección que les ha conducido a encontrarse con la Teoría de
Autómatas como herramienta matemática de gran utilidad.
 HISTORIA
 Antiguamente, se creaban artefactos capaces de realizar tareas
diarias
 Los hombres se daban cuenta que existían tareas repetitivas.
 En las décadas de los años cuarenta y cincuenta, una serie de
investigadores estudiaron las máquinas más simples, las cuales
todavía hoy denominamos “autómatas finitos”.
 Un molino de viento para accionar un órgano o un precursor
de la turbina de vapor.
 Se debe mencionar que los árabes fueron unos
maestros en la construcción de autómatas y en
la precisión de sus cálculos.
 inventaron el reloj mecánico.
 El pajarito bebedor también es un Automata.
 También a finales de la década de los cincuenta,
el lingüista N. Chomsky inició el estudio de las
“gramáticas” formales.
 TIPOS DE AUTÓMATAS

 Autómatas Finitos Determinísticos

 Autómatas Probabilísticos
 Autómatas a pila
 Maquina de turing
 AUTÓMATAS FINITOS

 Los Autómatas Finitos son maquinas teóricas que van cambiando de estado
dependiendo de la entrada que reciban.
 La salida de estos Autómatas esta limitada a dos valores: aceptado y no aceptado,
que pueden indicar si la cadena que se ha recibido como entrada es o no valida.
 Los autómatas finitos constituyen un modelo útil para muchos tipos de hardware y
software.
 DEFINICION

  
Formalmente, un Automata Finito Determinista (AFD) se define
como una tupla.

es el alfabeto de entrada
es el conjunto finito y no vacío de los estados del Autómata
es la función de transición que indica en que situaciones el Autómata
pasa de un estado a otro.
es el estado inicial
es el conjunto de estados finales de aceptación
SIMBOLOGIA DE LA
REPRESENTACION GRAFICA
EJEMPLO

Realizar un autómata que acepte palabras con número de ceros (0’s) impares,
sabiendo que el alfabeto es ∑ {0,1}.
TABLA DE TRANSICION DE
ESTADOS

  0 1
AUTOMATAS PROBABILISTICOS

 Un autómata probabilístico es una generalización del autómata finito no

determinístico.
 Los autómatas probabilísticos nos permiten tener una idea de cómo la transición
entre estados de un autómata puede no ser factible.
 Para que de esa manera pueda llegar a existir una probabilidad asociada a que se
realice una determinada transición
 Por lo tanto no podemos estar seguros de que el autómata se encuentre en un
determinado estado en cierto momento solo podemos llegar a saber la
probabilidad de que esto suceda.
 AUTOMATAS A PILA

 Un autómata con pila es un modelo matemático de un sistema que recibe una

cadena constituida por símbolos de un alfabeto y determina si esa cadena
pertenece al lenguaje que el autómata reconoce.
 Los autómatas de pila, en forma similar a como se usan los autómatas finitos,
también se pueden utilizar para aceptar cadenas de un lenguaje definido sobre un
alfabeto
 MAQUINAS DE TURING

 Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de
cinta de acuerdo a una tabla de reglas.
 La máquina de Turing no está diseñada como una tecnología de computación
práctica, sino como un dispositivo hipotético que representa una máquina de
computación.
 Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo
mecánico.