automata In45435completo

digraph {
	rankdir=LR
	node [shape=circle]
	s0
	node [shape=circle]
	s1
	node [shape=doublecircle]
	s2
	node [shape=circle]
	s3
	node [shape=circle]
	s4
	node [shape=doublecircle]
	s5
	node [shape=circle]
	s6
	node [shape=doublecircle]
	s7
	node [shape=ellipse]
	s0 -> s0 [label=0]
	s0 -> s1 [label=0]
	s0 -> s2 [label=0]
	s0 -> s6 [label=0]
	s0 -> s7 [label=0]
	s0 -> s0 [label=1]
	s0 -> s1 [label=1]
	s0 -> s6 [label=1]
	s0 -> s7 [label=1]
	s0 -> s0 [label=2]
	s0 -> s1 [label=2]
	s1 -> s0 [label=0]
	s1 -> s1 [label=0]
	s1 -> s2 [label=0]
	s1 -> s6 [label=0]
	s1 -> s7 [label=0]
	s1 -> s0 [label=2]
	s1 -> s1 [label=2]
	s3 -> s3 [label=0]
	s3 -> s3 [label=2]
	s3 -> s4 [label=2]
	s3 -> s5 [label=2]
	s4 -> s3 [label=0]
	s4 -> s4 [label=0]
	s4 -> s3 [label=1]
	s4 -> s4 [label=1]
	s4 -> s3 [label=2]
	s4 -> s4 [label=2]
	s4 -> s5 [label=2]
	s6 -> s0 [label=0]
	s6 -> s1 [label=0]
	s6 -> s2 [label=0]
	s6 -> s6 [label=0]
	s6 -> s7 [label=0]
	s6 -> s0 [label=1]
	s6 -> s1 [label=1]
	s6 -> s6 [label=1]
	s6 -> s7 [label=1]
	s6 -> s0 [label=2]
	s6 -> s1 [label=2]
	s6 -> s2 [label=2]
	s7 -> s0 [label=0]
	s7 -> s1 [label=0]
	s7 -> s2 [label=0]
	s7 -> s6 [label=0]
	s7 -> s7 [label=0]
	s7 -> s0 [label=1]
	s7 -> s1 [label=1]
	s7 -> s6 [label=1]
	s7 -> s7 [label=1]
	s7 -> s0 [label=2]
	s7 -> s1 [label=2]
	s7 -> s2 [label=2]
	node [style=invis width=0]
	start
	start -> s0 [style=bold]
}