Eine Konfiguration k=(z,p,q) zu einer festen Zeit ist ein Tripel bestehend aus Zustand z, nicht verbrauchter Eingabe p und Kellerinhalt q. Zu jedem k existiert eine Folgekonfiguration k' ().
).