State Diagram
StackHeight: 1
Z₀top
Input TapePosition: 0 / 4
(
(
)
)
⊣

Soft Conflicts (ε-priority resolved)

These ε-moves compete with consuming moves. DPDA mode follows the consuming move when input remains and the ε-move at end of input, which is the standard convention and lets many textbook DPDAs work without being flagged. Be aware NPDA mode may accept a larger language.

δ(q0, (, Z0) → (q0, AZ0) overlaps δ(q0, ε, Z0) → (q2, ε) via an ε-move. DPDA mode resolves this by taking the ε-move only when no input-consuming move applies — legal for a DPDA, but it can accept a smaller language than NPDA mode does.
Simulationaccepted

Accepted — reached q2 with all input consumed.

Step Log1 step
Root configuration — no transitions taken yet.