| | 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 | }}} |