Platz- und Zeiteffiziente Realisierung des Laufzeitkellers dei Blockstrukturierten Programmiersprachen

Zusammenfassung

Vor kurzem zeigte Kurt Mehlhorn — angeregt durch eine Arbeit von S.A. Cook — wie deterministische Kellerautomaten in einem günstigen Platz/Zeitverhältnis auf einer RAM implementiert werden können. Seine Arbeit gibt eine Methode, die auf die platz/zeiteffiziente Realisierung des Laufzeitkellers blockstrukturierter Programmiersprachen verallgemeinert werden kann. Damit gelingt die Lösung einer Fragestellung von G. Hotz. Wir betrachten das Problem, eine spezielle Art von gerichteten, bewerteten Graphen (Gebirgen) zu markieren. Ein Gebirge ist durch die Höhe eines Kellers in Abhängigkeit vom betrachteten Zeitpunkt definiert. Die Bewertung der Knoten ist durch die Zahl der von dem zugeordneten Kellerblock benötigten Speicherplätze gegeben.