5. Kapitel Dynamische Speicherverteilung.- Kellerspeicher.- 5.1.1 Gültigkeitsbereich und Lebensdauer.- 5.1.2 Blockstruktur, Organisation des Kellerspeichers.- 5.1.3 Lebensdauer von Variablen.- 5.1.4 Felddeskriptor.- 5.1.5 Felddeskriptor, Dreiecksmatrix.- 5.1.6 Speicherverteilung für Felder.- 5.1.7 Leitzellentechnik.- Prozeduren.- 5.2.1 Ackermann-Hermes-Funktion.- 5.2.2 Struktur rekursiver Prozeduraufrufe.- 5.2.3 Dynamische Verweisketten.- 5.2.4 Dynamische und statische Verweisketten.- 5.2.5 Prozeduraufrufe.- Allgemeine Speicherverteilung.- 5.3.1 Anonyme Objekte.- 5.3.2 Speicherverteilung für anonyme Objekte.- 5.3.3 Speichern von Verbunden, Organisation der Halde und Speicherbereinigung.- 5.3.4 Beispiel aus der Linguistik.- 5.3.5 Speicherverteilung für Zeichenreihen.- 5.3.6 Streu-Speicherung.- 6. Kapitel Datenorganisation und Prozesse.- Organisierte Speicher.- 6.1.1 Gauss-Jordan-Umwälzung.- 6.1.2 Eine Klasse rekursiver Rechenvorschriften.- 6.1.3 Ackermann-Funktion "nicht rekursiv".- 6.1.4 Ein Verteilprozeß.- Prozesse und Programmablauf.- 6.2.1 Petri-Netz.- 6.2.2 Platzbuchung.- 6.2.3 Segmentierung von Programmen.- 7. Kapitel Automaten und formale Sprachen.- Halbgruppen und Automaten.- 7.1.1 Schaltelemente.- 7.1.2 Strichsequenzen.- 7.1.3 Übergangshalbgruppe.- 7.1.4 "2 b's".- 7.1.5 Klammern.- Formale Sprachen.- 7.2.1 Ackermann-Ableitung.- 7.2.2 Überführung in kontextsensitive Form.- 7.2.3 Bezeichnungen und Gleitpunktzahlen.- 7.2.4 "anbnan".- 7.2.5 "aibkc2i".- 7.2.6 Aussageformen.- 7.2.7 Bedingte Formeln.- 7.2.8 Mißbrauchte Prozeduren.- 7.2.9 Kellerautomat für "aibi"`.- 7.2.10 Präzedenzgesteuerter Kellerautomat.- 7.2.11 Regulärer Ausdruck und Übergangsdiagramm.- 8. Kapitel Semantik algorithmischer Sprachen.- 8.1 Wiederholte Zuweisung.- 8.2 Zuweisungsaxiom.- 8.3 Beweis der Regeln von McCarthy.- 8.4 Semantik des Semikolons.- 8.5 Semantik der Fallunterscheidungen.- 8.6 Definition der Wiederholung.- 8.7 Verschiedene Arten der Wiederholung.- 8.8 Zuweisungen und Halbgruppen.- 8.9 Division im Dualsystem.- 8.10 Potenzierung.- 8.11 Unorthodox.- 8.12 Semantische Äquivalenz.- 8.13 Harmful goto.- 8.14 Undefiniert.- 8.15 Janov-Schemata.- 8.16 Summe und Produkt.- Methodik des Programmierens.- Vorbemerkung.- A 1 Primfaktorzerlegung.- A 2 Abstand von einer Menge.- A 3 Weg im Labyrinth.- A 4 Gerichteter Graph.- A 5 Partitionen.- A 6 Codierung nach Huffman.- A 7 Potenzen.- A 8 Euklidischer Ring.