Diagrama De La MT

Las máquinas de Turing pueden representarse mediante grafos particulares, también llamados diagramas de estados finitos.

Una Máquina de Turing puede representarse gráficamente a través de los llamados Diagramas finitos o de transición. Un diagrama de transición está formado por un conjunto de nodos que corresponden a los estados de la MT. La transición δ(q,a)=(p,b,D) se representa así: