|
335
by drtomc
Log live pushdown automata! Sat down and *thought*, then cast the normalization |
1 |
digraph norm { |
2 |
rankdir=LR; |
|
3 |
node [shape = doublecircle]; L0 L1 L4; |
|
4 |
node [shape = circle]; |
|
5 |
L0 -> L1 [ label = "/ cpy" ]; |
|
6 |
||
7 |
L1 -> L1 [ label = "/ skp" ]; |
|
8 |
L1 -> L2 [ label = ". mrk cpy" ]; |
|
9 |
L1 -> L4 [ label = "* mrk cpy" ]; |
|
10 |
||
11 |
L2 -> L1 [ label = "/ bkp" ]; |
|
12 |
L2 -> L3 [ label = ". cpy" ]; |
|
13 |
L2 -> L4 [ label = "* cpy" ]; |
|
14 |
||
15 |
L3 -> L1 [ label = "/ bkp2" ]; |
|
16 |
L3 -> L4 [ label = ". cpy" ]; |
|
17 |
L3 -> L4 [ label = "* cpy" ]; |
|
18 |
||
19 |
L4 -> L1 [ label = "/ cpy" ]; |
|
20 |
L4 -> L4 [ label = ". cpy" ]; |
|
21 |
L4 -> L4 [ label = "* cpy" ]; |
|
22 |
}
|