Fundamentos de la Teoría de Autómatas: Definición y Estructura de AFD, AFN y Autómatas de Pila
Clasificado en Informática
Escrito el en
español con un tamaño de 3,09 KB
Conceptos Fundamentales de Autómatas Finitos (AFD y AFN)
Autómata Finito (AF): Los autómatas finitos consisten en ir pasando de un estado a otro. Los estados son el único medio que disponen los AF para recordar los eventos que ocurren. Los estados finales indican que, al llegar a ellos, la secuencia de eventos que condujo hasta ese punto puede considerarse como aceptable, siempre y cuando se hayan consumido todos los caracteres de la cadena de entrada.
Autómata Finito Determinista (AFD)
Una máquina de estados finitos determinista $M$ se define formalmente como un quíntuplo:
$$M = (K, \Sigma, \delta, q_0, F)$$
Componentes del AFD
- K: Es un conjunto finito de estados.
- $\Sigma$: Es el alfabeto de entrada.
- $q_0$: Es el estado inicial, donde $q_0