Preguntas Guia Automatas Autoguardado

Teoría de autómatas
¿Qué es un autómata?
Un autómata es un modelo matemático para una máquina de estado finito.
Modelo Matemático de computación. Dispositivo abstracto con capacidad de computación.Una maquina (mecanismo) de naturaleza formal (Sólo existe como un mecanismo matemático) que acepta una información de entrada (input), la procesa, (La somete a transformaciones simbólicas que puedenadoptar la forma de un cálculo o compilación) y genera un resultado o salida (output). Definir un autómata equivaldrá a definir el proceso de transformación del input en un output, lo que equivale adefinir una función cuyos argumentos son el input y cuyo valor es el output

¿Qué uso se le puede dar a un autómata?
Los autómatas son útiles en sistemas en los cuales se necesita almacenar y procesaralgún dato (entrada), y mediante un algoritmo predefinido anteriormente, se analiza y finalmente arroja un resultado. Un ejemplo común, son los videojuegos

¿Qué tipos de autómata existen?
AutómatasFinitos (y máquinas secuenciales)
Formalmente, un autómata finito puede ser descrito como una 5-tupla 
Existen tres tipos de autómatas finitos:
-Autómata finito determinista (AFD):
Cada estado de unautómata de este tipo puede o no tener una transición por cada símbolo del alfabeto.
-Autómata finito no determinista (AFND):
Los estados de un autómata de este tipo pueden, o no, tener una o mástransiciones por cada símbolo del alfabeto. El autómata acepta una palabra si existe al menos un camino desde el estado q0 a un estado final F etiquetado con la palabra de entrada. 
-Autómata finito nodeterminista con transiciones ε (AFND-ε)
Además de ser capaz de alcanzar más estados leyendo un símbolo, permite alcanzarlos sin leer ningún símbolo. Si un estado tiene transiciones etiquetadas con ,entonces el AFND puede encontrarse en cualquier de los estados alcanzables por las transiciones , directamente o a través de otros estados con transiciones .

Autómatas Probabilísticos
Un autómata...