digraph rfc5424 {
	rankdir=LR;
	node [ shape = point ];
	ENTRY;
	eof_1;
	eof_2;
	eof_3;
	eof_4;
	eof_5;
	eof_6;
	node [ shape = circle, height = 0.2 ];
	err_1 [ label=""];
	err_2 [ label=""];
	err_3 [ label=""];
	err_4 [ label=""];
	err_5 [ label=""];
	err_6 [ label=""];
	node [ fixedsize = true, height = 0.65, shape = doublecircle ];
	7;
	node [ shape = circle ];
	1 -> 2 [ label = "'<'" ];
	1 -> err_1 [ label = "DEF / err_pri" ];
	2 -> 3 [ label = "'0' / mark" ];
	2 -> 4 [ label = "'1' / mark" ];
	2 -> 5 [ label = "'2'..'9' / mark" ];
	2 -> err_2 [ label = "DEF / err_prival, err_pri" ];
	3 -> 7 [ label = "'>' / set_prival" ];
	3 -> err_3 [ label = "DEF / set_prival, err_prival, err_pri" ];
	4 -> 5 [ label = "'0'..'8' / set_prival" ];
	4 -> 6 [ label = "'9' / set_prival" ];
	4 -> 7 [ label = "'>' / set_prival" ];
	4 -> err_4 [ label = "DEF / set_prival, err_prival, err_pri" ];
	5 -> 3 [ label = "'0'..'9' / set_prival" ];
	5 -> 7 [ label = "'>' / set_prival" ];
	5 -> err_5 [ label = "DEF / set_prival, err_prival, err_pri" ];
	6 -> 3 [ label = "'0'..'1' / set_prival" ];
	6 -> 7 [ label = "'>' / set_prival" ];
	6 -> err_6 [ label = "DEF / set_prival, err_prival, err_pri" ];
	ENTRY -> 1 [ label = "IN" ];
	1 -> eof_1 [ label = "EOF / err_pri" ];
	2 -> eof_2 [ label = "EOF / err_prival, err_pri" ];
	3 -> eof_3 [ label = "EOF / err_prival, err_pri" ];
	4 -> eof_4 [ label = "EOF / err_prival, err_pri" ];
	5 -> eof_5 [ label = "EOF / err_prival, err_pri" ];
	6 -> eof_6 [ label = "EOF / err_prival, err_pri" ];
}
