Example 5.1.1.
• _— _— _— block,
• block,
• _— _— _— _— _— accepting by both final state and empty stack.