2020

Introducción a los
Autómatas

Asignatura: Teoría de la Computación

Nombre: Selvin Reinaldo Erazo
Cuenta: 116160093
Nombre del Docente: Ing. Nelson Mejía
Fecha: 11 de junio de 2020
 Resumen Introducción a los Autómatas

Autómatas hace referencia a dispositivos de cálculo abstractos, es decir, de las “máquinas”.

Antes de que existieran las computadoras, en la década de los años treinta, Alan Turing estudió
una máquina abstracta que tenía todas las capacidades de las computadoras de hoy día, al
menos en lo que respecta a lo que podían calcular.

Tipos de autómatas:
Autómatas Finitos: Un autómata finito tiene un conjunto de estados y su “control” pasa de un
estado a otro en respuesta a las “entradas” externas. Una de las diferencias fundamentales
entre las clases de autómatas finitos es si dicho control es “determinista”, lo que quiere decir
que el autómata no puede encontrarse en más de un estado a un mismo tiempo, o “no
determinista”, lo que significa que sí puede estar en varios estados a la vez.

Clasificación:
- Autómata finito determinista (AFD)
- Autómata finito no determinista (AFND)
Ejemplo: El autómata finito no trivial más simple sea un interruptor de apagado/encendido.

Autómatas Probabilísticos: Es una generalización del autómata finito no determinista en los

que las transiciones entre estados a partir de símbolos de entrada pueden no producirse de
forma segura (Probabilidad 1).
Ejemplo: En los sistemas de reconocimiento de voz, cuando una persona habla el autómata
probabilístico en el reconocimiento de caracteres considera que después de una “A” hay un
10% de probabilidades de tener una “D” y un 1% de tener una “E”.

Autómatas a Pila: Es un autómata finito no determinista y 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. Cuenta con una cinta de entrada y un
mecanismo de control que puede encontrarse en uno de entre un número finito de estados.
La idea del funcionamiento del autómata es que al ir leyendo los diferentes símbolos a, estos
pasan a la pila en forma de símbolos A. Al aparecer el primer símbolo b en la entrada, se
comienza el proceso de desapilado, de forma que coincida el número de símbolos b leídos con
el número de símbolos A que aparecen en la pila.

Autómatas Celulares: Es un modelo matemático para un sistema dinámico compuesto por un

conjunto de celdas o células que adquieren distintos estados o valores, pueden ser usados
para modelar numerosos sistemas físicos que se caractericen por un gran número de
componentes homogéneos y que interactúen localmente entre sí.

Ejemplo: Modelado del flujo de tráfico y de peatones, Modelado de la evolución de células o

virus como el VIH.
Las características de los autómatas celulares harán que dichos modelos sean discretos en
tiempo, espacio o ambos, dependiendo de la variante de la definición de A.C. que se use.
1