Definición de autómata finito
Cargado por
Bietka SatinDefinición de autómata finito
Cargado por
Bietka Satin¿Qué es un autómata?
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.
Autómata finito determinista
Es un autómata finito que además es un sistema determinista; es decir, para cada estado en que se encuentre el
autómata, y con cualquier símbolo del alfabeto leído, existe siempre no más de una transición posible desde ese estado
y con ese símbolo.
Ejemplo
Autómata finito que podría formar parte de un analizador léxico. El trabajo de este autómata consiste en reconocer la
palabra coding, por lo que necesita siete estados, representando cada uno de ellos la posición que dentro de dicha
palabra se haya leído hasta el momento.
Estas posiciones corresponden con los prefijos de la palabra, desde la cadena de caracteres vacía (es decir, cuando no
contiene ningún carácter) hasta la palabra completa.
