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

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