Un autómata es un modelo matemático para una máquina de estado finito, en el que dada una entrada de símbolos, “salta” mediante una serie de estados de acuerdo a una función de transición (que puede ser expresada como una tabla). Esta función de transición indica a qué estado cambiar dados el estado actual y el símbolo leído.

1. Autómatas
República Bolivariana de Venezuela
Ministerio del Poder popular para la
educación
Tacharía, San Cristóbal.
U.E.P. Santiago Mariño
Sistema
Integrante:
Graicelys Volcán 27600737 #47
San Cristóbal, septiembre 2019.

2. Autómatas
Un autómata es un modelo matemático para una máquina de estado finito,
en el que dada una entrada de símbolos, “salta” mediante una serie de
estados de acuerdo a una función de transición (que puede ser expresada
como una tabla). Esta función de transición indica a qué estado cambiar
dados el estado actual y el símbolo leído.

3. Tipos de Autómatas
1- Autómatas Finitos
2- Autómatas Probabilísticos
3- Autómatas a pila
4- Células de Mc Culloh-Pinks
5- Máquinas de Turing
6- Autómatas Celulares

4. Es un modelo computacional que realiza cómputos en forma automática sobre una entrada para
producir una salida.
Este modelo está conformado por un alfabeto, un conjunto de estados finito, una función de
transición, un estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una
función de transición, que recibe a partir de un estado inicial una cadena de 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 en un estado final o de aceptación,
que representa la salida.
Autómatas
Finitos

5. Autómatas
Probabilísticos
Permiten tener una idea de cómo la transición entre
estados de un autómata puede no ser factible
(probabilidad 1) sino que puede 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. Los autómatas probabilísticos se definen con
una quíntupla:
AFP = (Σ, Q, M, P (0), F)
Donde:
Σ es el alfabeto de los símbolos
de entrada.
Q es el conjunto de estados.
M es el conjunto de matrices de
probabilidad de transición entre
estados,
M = {M (a)|a Є Σ}.
P (0) es el vector de estado
inicial.
F Í Q es el conjunto de estados
finales.

6. Autómatas a 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. El lenguaje que reconoce un
autómata con pila pertenece al grupo de los lenguajes
libres de contexto en la clasificación de la Jerarquía de
Chomsky.

7. Células de Mc Culloh-Pinks
Es una unidad de cálculo que intenta modelar el
comportamiento de una neurona "natural", similares a las que
constituyen del cerebro humano. Ella es la unidad esencial con
la cual se construye una red neuronal artificial.
El resultado del cálculo en una neurona consiste en realizar
una suma ponderada de las entradas, seguida de la aplicación
de una función no lineal, como se ilustra en la siguiente figura

8. Máquinas de
Turing
Es un dispositivo que manipula símbolos sobre una tira de cinta de
acuerdo con una tabla de reglas. A pesar de su simplicidad, una máquina
de Turing puede ser adaptada para simular la lógica de cualquier
algoritmo de computador y es particularmente útil en la explicación de las
funciones de una CPU dentro de un computador.

9. Autómatas Celulares
Es un modelo matemático para un sistema dinámico
que evoluciona en pasos discretos. Es adecuado para
modelar sistemas naturales que puedan ser descritos
como una colección masiva de objetos simples que
interactúen localmente unos con otros.
Son sistemas descubiertos dentro del campo
de la física computacional por John von
Neumann en la década de 1950. La teoría de
los autómatas celulares se inicia con su
precursor John von Neumann a finales de la
década de 1940 con su libro Theory of Self-
reproducing Automata (editado y
completado por A. W. Burks).

10. Referencias Bibliográficas
• Wikipedia (2019). [ Pagina Wed en Línea].Disponible:
https://es.wikipedia.org/wiki/Aut%C3%B3mata_celular [Consulta: 2019, septiembre 23].
• Wikipedia (2019).[ Pagina Wed en Línea]. Disponible:
https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing [Consulta: 2019, septiembre 23].
• Wikipedia (2019). [ Pagina Wed en Línea].Disponible:
https://es.wikipedia.org/wiki/Neurona_de_McCulloch-Pitts[Consulta: 2019, septiembre 23].
• Wikipedia (2019).[ Pagina Wed en Línea].Disponible:
https://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pila [Consulta: 2019, septiembre 23].
• Wikipedia (2019).[ Pagina Wed en
Línea].Disponible:https://es.wikipedia.org/wiki/Aut%C3%B3mata_probabil%C3%ADstico
[Consulta: 2019, septiembre 23].
• Wikipedia (2019).[ Pagina Wed en Línea].Disponible:
https://es.wikipedia.org/wiki/Aut%C3%B3mata_finito[Consulta: 2019, septiembre 23].
• Codingornot (2019) ).[ Pagina Wed en Línea].Disponible:https://codingornot.com/que-es-
un-automata[Consulta: 2019, septiembre 23].