finite_state_machine.gv

digraph finite_state_machine {
	node [shape=circle]
	s3 [fillcolor=red style=filled]
	sI -> sI [label="*"]
	sI -> s1 [label=ls1]
	sI -> s2 [label=ll2]
	sI -> s3 [label=rl3]
	sI -> s4 [label=rs4]
	sI -> s5 [label=lr5]
	sI -> s6 [label=rr6]
	s1 -> sI [label=a]
	s1 -> s7 [label=o]
	s2 -> s7 [label=o]
	s3 -> s2 [label=e]
	s3 -> s7 [label=o]
	s4 -> sI [label=a]
	s4 -> s7 [label=o]
	s5 -> sI [label=a]
	s5 -> s4 [label=e]
	s5 -> s7 [label=o]
	s6 -> s3 [label=e]
	s6 -> s7 [label=o]
	s7 -> sI [label="*"]
	s1 -> s2 [label=t1 color=blue]
	s2 -> s3 [label=c color=blue]
	s4 -> s5 [label=t1 color=blue]
}