Académique Documents
Professionnel Documents
Culture Documents
Un AFND es un autómata finito que, posee al menos un estado tal que para un
símbolo del alfabeto, existe más de una transición posible.
Características:
Estados: los estados del autómata son representados por círculo. Los nombres de
los estados están escritos dentro de esos círculos.
o Estado inicial: Estado en el que el autómata inicia. Tiene una flecha
apuntando hacia él.
Ejemplo: Asumimos un autómata finito que acepta un valor tres dígitos binarios que
termina en 1. FA = { Q (q0, qf), ?(0,1), q0, qf, ?}