¿QUÉ ES UN AUTÓMATA FINITO?

Es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida.

Consiste en un conjunto finito de estados y un conjunto de transiciones entre esos estados, que dependen de los símbolos de la cadena de entrada.

El autómata finito acepta cualquier cadena si la secuencia de transiciones correspondientes a los símbolos de x conduce desde el estado inicial a un estado final.

Definición Formal

Formalmente, una máquina de estados finitos es una 5-tupla (K, Σ, δ, s, F) donde:

F es el conjunto de estados finales o de aceptación y (evidentemente) subconjunto de K.

δ es la relación de transiciones, que a partir de un estado y un símbolo del alfabeto obtiene un nuevo estado.

Ejemplo:

La tabla de transiciones se representa dela siguiente manera:

Ejemplo de cadenas iguales con los dos automatas AFD y AFND

Preguntas de control

1. Dentro de las aplicaciones de autómatas se tiene:

A. Alimentación
B. Medicina
C. Fabricación de calzado
D. Educación

2. Dentro de la clasificación jerárquica de los autómatas se encuentran los intermedios en primer nivel, a su vez dentro de ellos están:

A. Memoria Linealmente limitada
B. Autómatas Finitos
C. Máquinas de Turing
D. Códigos convolucionales

3. Cuando se realiza la Conversión de AFN a AFD con transiciones vacías el resultado de C = {1, 3, 4} U {0, 1, 3} con transición X es:

D = {1,2,3,4} U {0,1,3}
C = {1,3,4} U {0,1,3}
B = {1,2} U {0,1,3}
D = {1,2} U {0,1,3}

4. Teniendo en cuenta la siguiente imagen cual es la respuesta: