digraph rfc5424 {
	rankdir=LR;
	node [ shape = point ];
	ENTRY;
	eof_1;
	eof_2;
	eof_3;
	eof_4;
	node [ shape = circle, height = 0.2 ];
	err_1 [ label=""];
	err_3 [ label=""];
	err_4 [ label=""];
	node [ fixedsize = true, height = 0.65, shape = doublecircle ];
	2;
	3;
	4;
	node [ shape = circle ];
	1 -> 2 [ label = "'1'..'9' / mark" ];
	1 -> err_1 [ label = "DEF / err_version" ];
	2 -> 3 [ label = "'0'..'9' / set_version" ];
	3 -> 4 [ label = "'0'..'9' / set_version" ];
	3 -> err_3 [ label = "DEF / set_version, err_version" ];
	4 -> err_4 [ label = "DEF / set_version, err_version" ];
	ENTRY -> 1 [ label = "IN" ];
	1 -> eof_1 [ label = "EOF / err_version" ];
	2 -> eof_2 [ label = "EOF / set_version" ];
	3 -> eof_3 [ label = "EOF / set_version" ];
	4 -> eof_4 [ label = "EOF / set_version" ];
}
