digraph G{
	rankdir=LR
	regex [shape=plaintext, label="(A|B)*C"]
	q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	q6 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
	start [shape=point]
	start -> q5
	q1 -> q4 [label="''"]
	q1 -> q6 [label="''"]
	q0 -> q1 [label="'A'"]
	q3 -> q4 [label="''"]
	q3 -> q6 [label="''"]
	q2 -> q3 [label="'B'"]
	q5 -> q4 [label="''"]
	q5 -> q6 [label="''"]
	q4 -> q0 [label="''"]
	q4 -> q2 [label="''"]
	q6 -> q7 [label="'C'"]
}