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"];
}
|
