¿Cuál es la diferencia entre DFA, TG y NFA?

Bueno, la diferencia entre DFA y NFA es que uno usa la letra D al principio y el otro usa la letra N al principio.

TG usa letras completamente diferentes que, y ni siquiera tiene la misma longitud que cualquiera de las dos.

Smart-aleck responde fuera del camino …

Bien, veo que has publicado esta pregunta en la categoría de Programación de computadoras. Por lo tanto, debe estar hablando de Autómatas finitos deterministas, Autómatas finitos no deterministas y Gráficos de transición.

Los autómatas son máquinas de Turing. Los autómatas finitos son máquinas de Turing que están limitadas a números finitos de estados posibles y tamaños de entrada finitos. Por lo tanto, se pueden describir en su totalidad (teóricamente; un autómata finito suficientemente grande puede no ser factible de describir).

Los TG son cómo se clasifica un autómata dado como DFA o NFA. Son simplemente gráficos de transiciones entre estados conocidos y lo que se requiere para alcanzar esas transiciones de estado. Mis amigos británicos dirían que son “justo lo que dice en la lata”.

Los DFA tienen TG que corresponden exactamente a combinaciones particulares de estados fuente y símbolos de entrada, y solo pueden hacer tales transiciones al leer una entrada. Las NFA no están tan limitadas; sus transiciones no dependen de una correlación precisa con estados y entradas dados.

Los NFA pueden contener elementos de sus TG que son deterministas; Los DFA no pueden exhibir ninguna transición no determinista. Por lo tanto, los DFA pueden considerarse un subconjunto de NFA.

Claro como el barro, ¿eh?