Ejemplo: Construir Una Tabla de Transiciones para Un Autómata A Partir de Su

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 2

AUTÓMATA FINITO

“Un autómata finito es un modelo matemático de una máquina que acepta cadenas de un lenguaje
definido sobre un alfabeto A. 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
una cadena x si la secuencia de transiciones correspondientes a los símbolos de x conduce desde
el estado inicial a un estado final.”

En ese sentido un autómata finito puede describirse como un sistema capaz de


recibir, procesar y transmitir información, manipulando cadenas de símbolos de
salida mediante un conjunto de estados. El cual en cada instante puede encontrarse
en un estado determinado entre varios posibles.

Ejemplo: construir una tabla de transiciones para un autómata a partir de su


representación gráfica o diagrama.

Construimos la tabla y rellenamos mediante los datos del gráfico y luego de la cadena de
entrada encontramos la cadena de salida
AUTÓMATA FINITO DETERMINISTA (AFD)

“Es el autómata finito que tiene todas sus transiciones no vacías y que por cada símbolo desde un
estado de origen se llega a un único estado destino.

Los AFD son definiciones ideales dentro de los lenguajes regulares por su cercanía formal hacia la
creación de máquinas de reconocimiento fundamentalmente lexicográficas, en tanto sus transiciones
son únicas por símbolo, pudiendo a la hora de su implementación en software, matemática y física
realizarse con mayor facilidad.”

Entonces un AFD es una función de transición, que para cada par (estado actual y símbolo de
entrada) le corresponde un único estado siguiente. Así que el estado de llegada esta unívocamente
determinado por el estado inicial y el carácter leído por el autómata.

Ejemplo: Obtenga un AFD dado el siguiente lenguaje definido en el alfabeto Σ={0,1} el conjunto de
cadenas que terminan en “1”.

https://www.ecured.cu/

http://www.exa.unicen.edu.ar

También podría gustarte