Un autómata finito determinista (abreviado AFD) 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.
Formalmente, se define como una 5-tupla (Q, Σ, q0, δ, F) donde:
En un AFD no pueden darse ninguno de estos dos casos:
Escribe un comentario o lo que quieras sobre Autómata finito determinista (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)