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