Current State:
q0 (Idle / ₹0)
Last Transition:
-
| Symbol | Tuple Name | Value Example |
|---|---|---|
| $Q$ | Set of States | { q0, q_credited } |
| $\Sigma$ | Input Alphabet | { insert_5, ..., select_soda, ..., cancel } |
| $\delta$ | Transition Function | (e.g., $\delta$(q0, insert_5) → q_credited) |
| $q_0$ | The Start State | q0 |
| $F$ | Set of Final States | { q0 } (Success/Reset) |