Die Entscheidungsprobleme die eine nichtdeterministische Hilfskellermaschine mit logarithmisch platzbeschränktem Arbeitsband, einem Kellerspeicher und polynomiell beschränkter Laufzeit lösen kann.
Die Stapelregister (auch Stapelzeiger oder Stackpointer, aus englisch, kurz) sind Adressregister zur Verwaltung von Stapelspeichern, auch Kellerspeicher oder nur Stack genannt.
Ein Zweikellerautomat ist ein nichtdeterministischer Automat, der während seiner Arbeit auf zwei Kellerspeicher zugreifen kann und seine Eingabe in einem der beiden Kellerspeicher erhält.
In der Informatik bezeichnet ein Stapelspeicher oder Kellerspeicher (kurz Stapel oder Keller, häufig auch mit dem englischen Wort Stack bezeichnet) eine häufig eingesetzte dynamische Datenstruktur.