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

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