digraph TM
{
/*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];
6 [shape=circle];
/*GraphOutput*/
/*Num states = 7*/
/*Quadruple*/
/*Implicit*/
start -> 0;
0 -> 1 [label="0:1"];
0 -> 4 [label="1:L"];
1 -> 4 [label="0:R"];
1 -> 2 [label="1:R"];
2 -> 1 [label="0:R"];
3 -> 2 [label="0:R"];
3 -> 6 [label="1:0"];
4 -> 0 [label="0:1"];
4 -> 5 [label="1:L"];
5 -> 6 [label="0:R"];
5 -> 3 [label="1:L"];
6 -> 3 [label="0:R"];
6 -> 6 [label="1:R"];
2 -> halt [label="1"];
/*EndGraphOutput*/
}