digraph Automaton {
	graph [rankdir=LR, splines=true, center=true, landscape=true];
	node  [shape=circle, fillcolor=white, fontcolor=blue];
	edge  [weight=2.0];

	state_0  [label="state  0\n $accept -> . unit \"end of file\""];
	state_0 -> state_1  [label="unit", fontcolor=green];
	state_0 -> state_2  [label="assignments", fontcolor=green];
	state_1  [label="state  1\n $accept -> unit . \"end of file\""];
	state_1 -> state_3  [label="\"end of file\"", fontcolor=blue];
	state_2  [label="state  2\n unit -> assignments . exp\n assignments -> assignments . assignment"];
	state_2 -> state_4  [label="\"identifier\"", fontcolor=blue];
	state_2 -> state_5  [label="\"number\"", fontcolor=blue];
	state_2 -> state_6  [label="assignment", fontcolor=green];
	state_2 -> state_7  [label="exp", fontcolor=green];
	state_3  [label="state  3\n $accept -> unit \"end of file\" .", shape=doublecircle];
	state_4  [label="state  4\n assignment -> \"identifier\" . \":=\" exp\n exp -> \"identifier\" ."];
	state_4 -> state_8  [label="\":=\"", fontcolor=blue];
	state_5  [label="state  5\n exp -> \"number\" ."];
	state_6  [label="state  6\n assignments -> assignments assignment ."];
	state_7  [label="state  7\n unit -> assignments exp .\n exp -> exp . '+' exp\n exp -> exp . '-' exp\n exp -> exp . '*' exp\n exp -> exp . '/' exp"];
	state_7 -> state_9  [label="'+'", fontcolor=blue];
	state_7 -> state_10  [label="'-'", fontcolor=blue];
	state_7 -> state_11  [label="'*'", fontcolor=blue];
	state_7 -> state_12  [label="'/'", fontcolor=blue];
	state_8  [label="state  8\n assignment -> \"identifier\" \":=\" . exp"];
	state_8 -> state_13  [label="\"identifier\"", fontcolor=blue];
	state_8 -> state_5  [label="\"number\"", fontcolor=blue];
	state_8 -> state_14  [label="exp", fontcolor=green];
	state_9  [label="state  9\n exp -> exp '+' . exp"];
	state_9 -> state_13  [label="\"identifier\"", fontcolor=blue];
	state_9 -> state_5  [label="\"number\"", fontcolor=blue];
	state_9 -> state_15  [label="exp", fontcolor=green];
	state_10  [label="state 10\n exp -> exp '-' . exp"];
	state_10 -> state_13  [label="\"identifier\"", fontcolor=blue];
	state_10 -> state_5  [label="\"number\"", fontcolor=blue];
	state_10 -> state_16  [label="exp", fontcolor=green];
	state_11  [label="state 11\n exp -> exp '*' . exp"];
	state_11 -> state_13  [label="\"identifier\"", fontcolor=blue];
	state_11 -> state_5  [label="\"number\"", fontcolor=blue];
	state_11 -> state_17  [label="exp", fontcolor=green];
	state_12  [label="state 12\n exp -> exp '/' . exp"];
	state_12 -> state_13  [label="\"identifier\"", fontcolor=blue];
	state_12 -> state_5  [label="\"number\"", fontcolor=blue];
	state_12 -> state_18  [label="exp", fontcolor=green];
	state_13  [label="state 13\n exp -> \"identifier\" ."];
	state_14  [label="state 14\n assignment -> \"identifier\" \":=\" exp .\n exp -> exp . '+' exp\n exp -> exp . '-' exp\n exp -> exp . '*' exp\n exp -> exp . '/' exp"];
	state_14 -> state_9  [label="'+'", fontcolor=blue];
	state_14 -> state_10  [label="'-'", fontcolor=blue];
	state_14 -> state_11  [label="'*'", fontcolor=blue];
	state_14 -> state_12  [label="'/'", fontcolor=blue];
	state_15  [label="state 15\n exp -> exp . '+' exp\n exp -> exp '+' exp .\n exp -> exp . '-' exp\n exp -> exp . '*' exp\n exp -> exp . '/' exp"];
	state_15 -> state_11  [label="'*'", fontcolor=blue];
	state_15 -> state_12  [label="'/'", fontcolor=blue];
	state_16  [label="state 16\n exp -> exp . '+' exp\n exp -> exp . '-' exp\n exp -> exp '-' exp .\n exp -> exp . '*' exp\n exp -> exp . '/' exp"];
	state_16 -> state_11  [label="'*'", fontcolor=blue];
	state_16 -> state_12  [label="'/'", fontcolor=blue];
	state_17  [label="state 17\n exp -> exp . '+' exp\n exp -> exp . '-' exp\n exp -> exp . '*' exp\n exp -> exp '*' exp .\n exp -> exp . '/' exp"];
	state_18  [label="state 18\n exp -> exp . '+' exp\n exp -> exp . '-' exp\n exp -> exp . '*' exp\n exp -> exp . '/' exp\n exp -> exp '/' exp ."];

}