digraph TM
{
/*This machine represents 24 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];

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