Παράσταση κινήσεων
Κάθε εντολή κίνησης έχει τη μορφή:
δ(σ1, σ2, σ3) = (Σ1, Σ2, Σ3)
όπου:
- σ1
- η κατάσταση του ΑΣ,
- σ2
- το σύμβολο στην κορυφή της στοίβας,
- σ3
- το σύμβολο εισόδου,
- Σ1
- η υποεντολή της στοίβας,
- Σ2
- η υποεντολή εισόδου,
- Σ3
- η υποεντολή επόμενης κατάστασης.
Αν δεν προσδιορίζεται μια εντολή τότε αυτή υπονοείται ως εξής:
- υποεντολή της στοίβας:
- ΑΦΗΣΕ
- η στοίβα δε μεταβάλλεται
- υποεντολή εισόδου:
- ΠΡΟΧΩΡΑ
- διάβασε ένα νέο στοιχείο από την είσοδο
- υποεντολή επόμενης κατάστασης:
- ΚΑΤΑΣΤΑΣΗ(S)
- η νέα κατάσταση είναι η τωρινή