Informatik: Zeiter Teil: Aufgaben und Lsungen [Paperback]

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 bs.- 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.- l³+