cuestionario
Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas en inglés). UnaFSM es una máquina que, dada una entrada de símbolos, "salta" a través de una serie de estados de acuerdo a una función de transición (que puede ser expresada como una tabla). En la variedad común"Mealy" de FSMs, esta función de transición dice al autómata a qué estado cambiar dados unos determinados estado y símbolo.
Símbolo
Un dato arbitrario que tiene algún significado a o efecto en lamáquina. A estos símbolos también se les llama "letras" o "átomos".1
Palabra
Una cadena finita formada por la concatenación de un número de símbolos.
Alfabeto
Conjunto finito de símbolos. Un alfabeto seindica normalmente con , que es el conjunto de letras en un alfabeto.
Lenguaje
Un conjunto de palabras, formado por símbolos en un alfabeto dado. Puede ser infinito.
Clausura de Kleene
Unlenguaje se puede considerar como un subconjunto de todas las posibles palabras. El conjunto de todas las palabras puede, a su vez, ser considerado como el conjunto de todas las posibles concatenaciones decadenas. Formalmente, este conjunto de todas las cadenas se llama en inglés free monoid. Se indica como , y el superíndice * se llama la estrella de Kleene.
Autómata finito determinista (AFD)
Cadaestado de un autómata de este tipo puede o no tener una transición por cada símbolo del alfabeto.
Autómata finito no determinista (AFND)
Los estados de un autómata de este tipo pueden, o no,tener una o más transiciones por cada símbolo del alfabeto. El autómata acepta una palabra si existe al menos un camino desde el estado q0 a un estado final F etiquetado con la palabra de entrada....
Regístrate para leer el documento completo.