.----------------.
|    State 3     |
| 1 exp: a . ";" |
`----------------'
        |
        | ";"
        |
        v
.----------------.
|    State 6     |
| 1 exp: a ";" . |
`----------------'