summaryrefslogtreecommitdiffstats
path: root/figs/ex3p1c.dot
blob: c86eee0f7e915efa724008e54d6e36463847c8bc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
digraph ex3p1c {
	rankdir="LR";
	node [texmode="math",shape="circle",style="state"];
	qF [style="state,initial,final,accepting below",label="F"];
	q6 [style="state",label="6"];
	qbot [style="state",label="X",texlbl="$\bot$"];
	edge [texmode="math",lblstyle="auto"];
	qF -> q6 [label="b"];
	qF -> qF [label="a",topath="loop above"];
	q6 -> qF [label="a"];
	q6 -> qbot [label="b"];
	qbot -> qbot [label="a,b",topath="loop above"];
}