| 1 | {{{#!graphviz |
| 2 | |
| 3 | digraph finite_state_machine { |
| 4 | rankdir=LR; |
| 5 | size="8,5" |
| 6 | node [shape = doublecircle]; LR_0 LR_3 LR_4 LR_8; |
| 7 | node [shape = circle]; |
| 8 | LR_0 -> LR_2 [ label = "SS(B)" ]; |
| 9 | LR_0 -> LR_1 [ label = "SS(S)" ]; |
| 10 | LR_1 -> LR_3 [ label = "S($end)" ]; |
| 11 | LR_2 -> LR_6 [ label = "SS(b)" ]; |
| 12 | LR_2 -> LR_5 [ label = "SS(a)" ]; |
| 13 | LR_2 -> LR_4 [ label = "S(A)" ]; |
| 14 | LR_5 -> LR_7 [ label = "S(b)" ]; |
| 15 | LR_5 -> LR_5 [ label = "S(a)" ]; |
| 16 | LR_6 -> LR_6 [ label = "S(b)" ]; |
| 17 | LR_6 -> LR_5 [ label = "S(a)" ]; |
| 18 | LR_7 -> LR_8 [ label = "S(b)" ]; |
| 19 | LR_7 -> LR_5 [ label = "S(a)" ]; |
| 20 | LR_8 -> LR_6 [ label = "S(b)" ]; |
| 21 | LR_8 -> LR_5 [ label = "S(a)" ]; |
| 22 | } |
| 23 | }}} |