digraph TM { /*This machine represents 120 machines*/ /*Settings*/ rankdir = LR; start [shape=plaintext]; halt [shape=plaintext]; 0 [shape=circle]; 1 [shape=circle]; 2 [shape=circle]; 3 [shape=circle]; 4 [shape=circle]; 5 [shape=circle]; /*GraphOutput*/ /*NumStates = 6*/ /*Quadruple*/ /*Explicit*/ start -> 0; 0 -> 1 [label="0:1"]; 0 -> 0 [label="1:R"]; 1 -> 0 [label="0:R"]; 1 -> 2 [label="1:R"]; 2 -> 3 [label="0:1"]; 2 -> 4 [label="1:0"]; 3 -> 4 [label="0:1"]; 3 -> 3 [label="1:L"]; 4 -> 5 [label="0:R"]; 4 -> 0 [label="1:L"]; 5 -> halt [label="0:R"]; 5 -> 1 [label="1:R"]; /*EndGraphOutput*/ }