Ejemplo: Construir Una Tabla de Transiciones para Un Autómata A Partir de Su
Ejemplo: Construir Una Tabla de Transiciones para Un Autómata A Partir de Su
Ejemplo: Construir Una Tabla de Transiciones para Un Autómata A Partir de Su
“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.”
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