http://dl.gi.de/handle/20.500.12116/4300 Tue, 21 Jul 2026 13:55:01 GMT 2026-07-21T13:55:01Z http://dl.gi.de:80/bitstream/id/19ade254-5df1-4256-96f6-750ea67570ce/ http://dl.gi.de/handle/20.500.12116/4300 http://dl.gi.de/handle/20.500.12116/33416 Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung Thomas, Wolfgang Fothe, Michael; Wilke, Thomas Vor 50 Jahren bewies J. R. Büchi, dass die Menge der erreichbaren Kellerinhalte eines Kellerautomaten eine reguläre Sprache bildet. Nur 5 Jahre später eröffnete M. O. Rabin mit seiner Theorie endlicher Automaten auf unendlichen Bäumen eine weiter greifende Perspektive, die in neuester Zeit zu überraschend starken algorithmischen Ergebnissen geführt hat, unter anderem für Systeme mit geschachtelten Kellern. Wir geben eine informelle Darstellung dieser Entwicklung und skizzieren aktuelle Forschungsfragen. Thu, 01 Jan 2015 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/33416 2015-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/33415 Keller im Übersetzerbau Wilhelm, Reinhard Fothe, Michael; Wilke, Thomas Keller sind im Übersetzerbau allgegenwärtig: Deterministische Kellerautomaten werden zur Syntaxanalyse verwendet. Jede Programmiersprache mit Rekursion benutzt einen Laufzeitkeller, um Inkarnationen von rekursiven Prozeduren oder Funktionen effizient zu verwalten. Sprachspezifische virtuelle Kellermaschinen wurden und werden entworfen, um die semantische Lücke zwischen höheren Programmiersprachen und Zielmaschinen zu überbrücken. Solche Kellermaschinen wurden sogar mehrfach in Hardware realisiert. Um das Anlegen und das Freigeben von Funktionsinkarnationen effizient zu unterstützen, werden in etlichen Architekturen Registerkeller angeboten. Thu, 01 Jan 2015 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/33415 2015-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/33413 Friedrich L. Bauers und Klaus Samelsons Arbeiten in den 1950er-Jahren zur Einführung der Begriffe Kellerprinzip und Kellerautomat Langmaack, Hans Fothe, Michael; Wilke, Thomas F. L. Bauer und K. Samelson leisteten außerordentliche Pionierbeiträge zur Informatik, insbesondere zur Programmierung elektronischer Rechenanlagen und zur Entwicklung, Definition und Implementierung höherer Programmiersprachen. Über die im Titel genannte Thematik Kellerprinzip und -automat hinaus wird auf einige Vorläufer des Kellergedankens eingegangen. Thu, 01 Jan 2015 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/33413 2015-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/33412 Der Keller – ein fundamentaler Baustein der Informatik Mundhenk, Martin Fothe, Michael; Wilke, Thomas Die Datenstruktur Keller begegnet Informatik-Studierenden gleich am Beginn des Studiums als eine fundamentale informatische Denkweise. Wir machen einen Ausflug zu grundlegenden Algorithmen und sehen, wie ein Keller beim Auswerten von Formeln oder beim schnellen Potenzieren hilft. Neben einzelnen Algorithmen gibt es auch algorithmische Prinzipien, die auf dem Keller basieren. Das wird am Beispiel des Teile- und-herrsche-Prinzips verdeutlicht. Thu, 01 Jan 2015 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/33412 2015-01-01T00:00:00Z