Theoretische Informatik - ganz praktisch

Stichwortverzeichnis

2−SAT siehe Erfüllbarkeitsproblem aussagenlogischer Formeln mit je 2 Literalen

3-Band-Turingmaschine 1

3−SAT siehe Erfüllbarkeitsproblem aussagenlogischer Formeln mit je 3 Literalen

A siehe Ausgabealphabet

A-Schwierigkeit 1

A-Vollständigkeit 1

ableitbar 145, 1

Ableitung 1

Ableitungsbaum 1, 2, 3, 4, 5, 6, 7

abzählbare Menge siehe Menge

Abzählbarkeit 1, 2, 3

Akzeptor 1, 2, 3, 4

Alan Turing 1

Algorithmus 1, 2, 3

–Allgemeinheit 1

–Determiniertheit 1

–Finitheit 1

–intuitiver Algorithmus-Begriff 1

allgemeine Grammatik 1, 2

allgemeines Problem 1

α siehe regulärer Ausdruck

Alphabet 1, 2, 3

alphanumerische Kodierung siehe Kodierung

Ameisenalgorithmen siehe randomisiertes Lösungsverfahren

Analogrechner 1

Äquivalenz endlicher Automaten ...