Un autómata finito no-determinista (AFND) es una quíntupla
donde:
1 es un alfabeto.
2 es un conjunto finito no vacío de estados.
3 es (una de las dos definiciones, que entre si son equivalentes) una relación,
o una funcióN.
4 es el estado inicial.
5 es el conjunto de estados finales.
2 es un conjunto finito no vacío de estados.
3 es (una de las dos definiciones, que entre si son equivalentes) una relación,
o una funcióN.
4 es el estado inicial.
5 es el conjunto de estados finales.
2 comentarios:
Hola que tal...se me hace muy interesnate tu aportación sobre los automatas no deterministas.
Publicar un comentario