Index


2-3-Bäume 

A* 
Abbildungen 
Ablauf 
Ableitung 
Ableitungsschritt 
abstrakte Datentypen 
Abstraktion 
abweisende Schleife 
abzählbar 
activation record 
Adjazenzmatrix 
Adressen 
äquivalent 
Äquivalenzklasse 
Äquivalenzrelation 
Aktionen 
aktiviert 
Aktivierungsobjekt 
Algebra 
algebraische Spezifikation 
algebraische Struktur 
Algorithmus 
Alias-Phänomen 
allgemeine Schleife 
Allrelation 
Alphabet 
alphanumerisch 
Alternative 
AND 
Anfangszustand 
angewandt 
Anker 
annehmende Schleife 
anonym 
antisymmetrisch 
Anweisung 
Anweisungsfolge 
Anweisungssequenz 
Anwendung 
applied occurrence 
Arbeitsregeln 
Argument 
Argumentbindung 
Ariadne-Faden 
Arität 
ARRAY 
Arraykonstanten 
Arraytyp 
Arrayvariable 
Arrayvereinbarung 
ASCII 
assoziativ 
asymmetrisch 
asymptotische Abschätzung 
Attribute 
Attributierte Grammatik 
auflösen 
Aufrufstelle 
Aufsuchen 
Auftreten 
Aufwand 
aufzählbar 
Aufzählungstypen 
Ausdrücke 
Ausgabealphabet 
Ausgabefläche 
Austragen 
auswerten 
Auswertung 
Automatentheorie 
Automatische Variablen 
AVL-Bäume 
Axiome 

B 
Bandalphabet 
Basistyp 
Baum 
Baumstruktur 
Baustein 
bearbeiten 
Bedeutung 
Behälter 
Beispiel 
Benennung 
Benutzerführung 
berechenbar 
Bereichstypen 
besetzen 
bestimmtes Integral 
besuchen 
Bezeichner 
Bezug 
Bibliothek 
Bildbereich 
Binärbaum 
binäre Relation 
binäre Suche 
Bindung 
Binomialkoeffizienten 
BITSET 
black box 
Blatt 
Block 
blockorientiert 
BNF 
BOOLEAN 
Boolesche Algebra 
Bootstrap 
Breitensuche 
Bruder 

C 
Card(M) 
CARDINAL 
CASE 
CASE-Anweisung 
CHAR 
charakteristisch 
Chomsky-Grammatik 
Church'sche These 
closure 

dangling pointer 
Daten 
Daten-Müll 
Daten-Modul 
Datenbanken 
Datentyp 
deaktiviert 
Deck 
Def(f) 
definierend 
defining occurrence 
Definition 
Definitions-Modul 
Definitionsbereich 
Deque 
dequeue 
Dereferenzierung 
deterministisch 
Diagramm 
Differentiation 
Differenzengleichung 
direkter Angriff 
disjunkt 
disjunkte Vereinigung 
Disjunktion 
DISPOSE 
Dokumentation 
Doppelschlange 
doppelt verkettet 
Dreieck 
Durchblick 
Durchgangsparameter 
Durchschnitt 
durchwandern 
Durchwanderung 
dynamisch 
dynamische Datenstruktur 
dynamische Kette 
Dynamische Variablen 

EBCDIC 
EBNF 
effizient 
Effizienz 
einfach zusammenhängend 
Eingabe 
Eingabealphabet 
Einselement 
Einstiegs-Element 
einstufig 
Elemente 
Endemarkierung 
endlich 
Endwert 
Endzustand 
enqueue 
Entflechtung 
Entscheidbarkeit 
Entscheidungsverfahren 
erben 
Erkennen 
erkennen 
erzeugen 
Euklidischer Algorithmus 
EXIT 
explizit 
explizite Referenz 
externe Darstellung 

Färbung 
Fachsprachen 
Fakultätsfunktion 
Fallen 
Fibonacci-Zahlen 
FIFO 
Find 
flattening 
FOR 
formale Parameter 
Formale Sprache 
Formulare 
Formularmaschine 
frei 
freies Monoid 
Freiliste 
Funktion 
Funktionale 
Funktionalität 
Funktions-Modul 
Funktionsaufruf 
Funktionsprozedur 
Funktionsresultat 
Funktionsterm 
Funktionsvereinbarung 

Gültigkeitsbereich 
ganzzahlig 
Garbage 
Garbage Collection 
gebunden 
Geflecht 
Geheimnisprinzip 
generisch 
Gerüst 
gerichtet 
gestreckte Liste 
ggT(a,b) 
Gleichheitszeichen 
gleichmächtig 
global 
goldener Schnitt 
Größe 
Größenmaß 
Größenordnung 
Graph 
Griechisch 
Grundstrategie 
Grundterm 

höhere Funktionen 
Hülle 
Halbordnung 
Halde 
Hausnummern 
Heapsort 
hexadezimal 
hierarchisch 
Hilfsvariable 

Identität 
IF 
Img(f) 
imperativ 
Implementierungs-Modul 
Importe 
Importliste 
indirekte Rekursion 
Indizierung 
Induktionsbeweis 
Infix 
Informatik 
Inhalt 
Inkarnationen 
Instanz 
INTEGER 
interne Darstellung 
Inzidenzmatrix 
irreflexiv 
iterativ 

Jargon 

Kanten 
kartesisches Produkt 
Keller 
Keller-Prinzip 
Kellerautomat 
Klasse 
Klasse 0 
Klasse 1 
Klasse 2 
Klasse 3 
Klassenzerlegung 
kleinsten Verbrecher 
Knoten 
Komma 
Komplement 
Komplexität 
Komponente 
Konjunktion 
Konstantenvereinbarung 
Konstruktor 
kontextfrei 
kontextsensitiv 
Kontrakt 
Kontrollstrukturen 
Kopf 
Korrektheit 
Kosten 
Kreis 

L(G) 
löschen 
Labyrinth 
Lambda-Angabe 
Last-In-First-Out 
Lebensdauer 
leere Anweisung 
leere Menge 
leere Sprache 
leeres Wort 
Leerzeichen 
Leistung 
lesen 
LIFO 
linear 
linksrekursiv 
LL(1)-Bedingungen 
logarithmische Suche 
logischer Ring 
lokale Objekte 
LOOP 

Mächtigkeit 
Makro-Aufruf 
Manhattan-Metrik 
Markierung 
Markoff-Algorithmen 
Maschine 
Matrizen 
mehrfach aktiviert 
Memoisierung 
Menge 
Mengengleichungen 
Mengentyp 
Metasprache 
Metazeichen 
Methoden 
Modul 
Multiplikation 

N 
Nachrichten 
Name 
Namensanalyse 
Namensbindung 
Nebenwirkungen 
neutrales Element 
NEW 
nichtdeterministisch 
Nichtterminalknoten 
Nichtterminalsymbole 
NIL 
NOT 
Nullelement 
Nullrelation 
numerische Mathematik 

Objekt 
Objektbindung 
Objektsprache 
opaker Typ 
Operations Research 
Optimierung 
OR 
Ort 

parallele Ausführung 
Parameter 
Parameterangaben 
Parameterbindung 
parametrisiert 
Parser-Generatoren 
partielle Funktionen 
Pascal 
Persistente Variablen 
Pfad 
Pfadkompression 
Pfeil 
Pfeildiagramm 
Physik 
Planungsrechnung 
Platzhalter 
PN 
Pointer 
Pointer-Variable 
Pointer-Wert 
Pointervariable 
polnisch 
Polymorphismus 
pop 
Postfix 
Potenzmenge 
Präfix 
Praxis 
Problem 
Problemanalyse 
Problemklasse 
Produktionen 
Programmiersprachen 
Programmierung 
Programmtext 
Projektor 
Prozeduraufruf 
Prozedurkopf 
Prozedurrumpf 
Prozedurtypen 
Pseudoprogramm 
Ptr(T) 
push 

Q 
quadratisch 
qualifizierter Name 
Queue 

R 
Rückkehr-Information 
REAL 
Realisierung 
Rechenstruktur 
Rechenterm 
Rechenvorschrift 
Rechteck 
rechtsrekursiv 
RECORD 
Redundanz 
Referenz 
Referenz-Argument 
Referenz-Parameter 
Referenz-Position 
reflexiv 
Regeln 
regulär 
reguläre Ausdrücke 
Reihungen 
Rekursion 
rekursive Listen 
Relationenalgebra 
Relationenprodukt 
Relationsgraph 
REPEAT 
Resultatwert 
Ringliste 
Ringpuffer 
Rollen 
Rumpf 

Satz 
Satzform 
Schablone 
Schalterfeld 
Schema 
Schlange 
Schleife 
Schleifenvariablen 
Schleppzeigertechnik 
Schlinge 
Schnittstelle 
schreiben 
Schreibtischtest 
Schrittweite 
Schwanz 
Seiteneffekte 
Selektion 
Selektor 
Sequenz 
Sequenzen 
SET OF CHAR 
sichtbar 
skalare Typen 
Sohn 
Sorten 
Sortierverfahren 
Spaghetti-Programmierung 
Spanning Tree 
Speicher 
Speicherbereinigung 
Speicherobjekt 
Speicherschwund 
Speicherverwaltung 
Sprünge 
Sprachregelung 
Stack 
Stack-Verhalten 
Stammfunktion 
Standard-Objekte 
Stapel 
Startsymbol 
Startwert 
Startzustand 
statische Kette 
Statische Variablen 
Stelle 
Stellenwertdarstellung 
Strategien 
Strichpunkt 
Struktur 
strukturiert 
Subtraktionsmaschine 
Suchbaum 
Suchen 
Suchschlüssel 
Suchzustand 
surjektiv 
symmetrisch 
Syntaxdiagramme 
Systementwurf 

TAANSTAAFL-Law 
Tabelle 
Teilbaum 
Teilmenge 
template 
Term 
Termalgebra 
Terminalknoten 
Terminalsymbole 
Termini 
Terminierung 
textuell 
Theorie 
tiefe Kopie 
Tiefensuche 
Tipps 
top 
topologisch 
Totalordnung 
Transfer-Funktionen 
transitiv 
transitive Hülle 
Traversierung 
Turing-Maschine 
Typ 
Typen-Modul 
Typvereinbarung 

überabzählbar 
überdeckt 
Übergangsdiagramm 
Übergangstafel 
Umgangssprache 
Umgebung 
Umgebungsbindung 
umgekehrt 
Umwandlungsfunktionen 
unendlich 
ungerichtet 
UNICODE 
Union 
unmittelbar 
Unterbäume 
Unternehmensforschung 
unvergleichbar 
UPN 

Var(T) 
Variable 
Variablenvereinbarung 
Variante 
Vater 
Verbund 
Verbundkonstanten 
Verbundtyp 
Verbundvariable 
verdecken 
Vereinbarung 
Vereinigung 
Vereinigungstyp 
Vererbung 
Vergleichsoperationen 
Vergleichsoperator 
verketten 
verstrecken 
Vokabular 
vollständig 
Voraussetzungen 

Wörter 
Wachstumsverhalten 
Wahrheitswerte 
Wald 
Warshall 
Weg 
Wert 
Wert-Argument 
Wert-Parameter 
Wert-Position 
Wertetabelle 
Wertevorrat 
WHILE 
Wiederholungsanweisung 
wiederverwendbar 
WITH 
WITH-Anweisung 
wohlgeformt 
worst case 
Wortsymbole 
Wortwiederholungen 
Wurzel 

Z 
Zählschleife 
Zeichenketten 
Zeiger 
Zellen 
zerfallen 
Zugriffspfad 
zuordnen 
Zuordnung 
zusammenhängend 
Zusammenhangskomponente 
Zustand 
Zustandsmenge 
Zuweisung 
Zuweisungsoperator 
Zyklus 



Inhalt | Vorlesung

Klaus Lagally