digraph TM
{
/*This machine represents 2 machines*/
/*Settings*/
rankdir = LR;
start [shape=plaintext];
halt [shape=plaintext];
0 [shape=circle];
1 [shape=circle];
2 [shape=circle];

/*GraphOutput*/
/*NumStates = 3*/
/*Quadruple*/
/*Explicit*/
start -> 0;
0 -> 0 [label="0:1"];
0 -> 1 [label="1:R"];
1 -> 1 [label="0:1"];
1 -> 2 [label="1:L"];
2 -> halt [label="0:1"];
2 -> 1 [label="1:L"];
/*EndGraphOutput*/
}