Literaturangaben

A. AHo, J. E. HOPCROFT, J. D. ULLMAN: Data Structures and Algorithms. Reading, MA: Addison-Wesley 1983

A. AHo, J. D. ULLMAN: Principles of Compiler Design. Reading, MA: Addison­Wesley 1987

A. AHO, J. E. HOPCROFT, J. D. ULLMAN: The Design and Analysis of Computer Algorithms. Reading, MA: Addison-Wesley 1975

J. ALBERT, T. OTTMANN: Automaten, Sprachen und Maschinen für Anwender. Mannheim: Bibliographisches Institut 1983

R. L. BACKHOUSE: The Syntax of Programming Languages: Theory and Practice. Englewood Cliffs, N.J.: Prentice-Hall1979

G. BARKOW, W. HESSE, H.-B. KITTLAUS, A. LUFT, G. SCHESCHONK, A. V. STÜLPNAGEL: Begriffliche Grundlagen der frühen Phasen der Softwareentwicklung. Information Management 4/89

F. L. BAUER, G. GoOS: Informatik. Eine einführende Übersicht, Teile 1,2, Berlin­Heidelberg-New York: Springer 1982/1984

F. L. BAUER, H. WÖSSNER: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981

F. L. BAUER, M. WIRSING: Elementare Aussagenlogik. Mathematik für Informatiker. Berlin-Heidelberg-New York: Springer 1991

v. BERZINS, LUQUI: Software Engineering with Abstractions. Reading, MA: Addison-Wesley 1991

G. BOOCH: Object Oriented Design with Applications. Menlo Park, Cal.: Be~aminlCummings1994

206 Literatur

E. BÖRGER: Berechenbarkeit, Komplexität, Logik. 3. erweiterte und verbesserte Auflage. BraunschweigIWiesbaden: Vieweg 1992

W. BRAUER: Automatentheorie. Stuttgart: Teubner 1984

B. BUCHBERGER: Mathematik für Informatiker - Die Methode der Mathematik. Berlin-Heidelberg-New York: Springer 1981

C. H. CAP: Theoretische Grundlagen der Informatik. Wien: Springer 1993

W. F. CLOCKSIN, C. C. MELLISH: Programming in Prolog. Berlin-Heidelberg-New York: Springer 1994

P. COAD, E. YOURDAN: Object-oriented Analysis. Englewood Cliffs, N.J.: Prentice­Hall 1991

P. COAD, E. YOURDAN: Object-oriented Design. Englewood Cliffs, N.J.: Prentice­Hall 1991

B. J. COX: Object Oriented Programming. Reading, MA: Addison-Wesley 1991

N. J. CUTLAND: Computability: An Introduction to Recursive Function Theory. Cambridge: Cambridge University Press 1980

C. J. DATE: An Introduction to Database Systems. Reading, MA: Addison-Wesley 1995

E. DENERT: Software-Engineering. Berlin-Heidelberg-New York: Springer 1991

P. J. DENNING, J. B. DENNIS, J. E. QUALITZ: Machines, Languages, and Computation. Englewood Cliffs, N. J.: Prentice-Halll978

P. DEUSSEN: Halbgruppen und Automaten. Berlin-Heidelberg-New York: Springer 1971

H. D. EHRICH, M. GOGOLLA, U. W. LIPECK: Algebraische Speziflkation abstrakter Datentypen. Eine Einführung in die Theorie. Stuttgart: Teubner 1989

H. EHRIG, B. MAHR: Fundamentals of Algebraic Specification 1. Berlin-Heidelberg­New Y ork: Springer 1985

R. ELMASRI, S. B. NAVATHE: Fundamentals of Database Systems. Menlo Park, Cal.: BenjaminlCummings 1994

E. ENGELER, P. LÄUCHLI: Berechnungstheorie für Informatiker. Stuttgart: Teubner 1992

Literatur 207

S. GINSBURG: The Mathematical Theory of Context-Free Languages. New York: McGraw-Hill1966

R. L. GRAHAM, D. E. KNuTH, O. PATASHNIK: Concrete Mathematics. Reading, MA: Addison-Wesley 1988

D. GRIES: Compiler Construction for Digital Computers. New York: Wiley 1971

R. H. GÜTING, Datenstrukturen und Algorithmen. Stuttgart: Teubner 1992

H. HERMES: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin-Heidelberg­New York: Springer 1978

J. E. HOPCROFf, J. D. ULLMAN: Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley 1979

G. HOTZ, V. CLAUS: Automatentheorie und Formale Sprachen. III. Formale Sprachen. Mannheim: Bibliographisches Institut 1972

M. JACKSON: Principles of Program Design. London: Academic Press 1975

U. KASTENS: Übersetzerbau. München: Oldenbourg 1990

H. KLEINEBÜNING, S. SCHMITGEN: PROLOG. Stuttgart: Teubner 1988

D. E. KNUTH: The Art of Computer Programming. Volume 1: Fundamental Algorithms. Reading, MA: Addison-Wesley 1973

D. E. KNUTH: The Art of Computer Programming. Volume 2: Seminumerical Algorithms. Reading, MA: Addison-Wesley 1981

D. E. KNUTH: The Art of Computer Programming. Volume 3: Sorting and Searching. Reading, MA: Addison-Wesley 1975

H. KORTH, A. SILBERSCHATZ: Database System Concepts. New York: McGraw­Hill1991

J. LOECKX: Algorithmentheorie. Berlin-Heidelberg-New York: Springer 1976

J. MCDERMID (ED.): Software Engineering Reference Book. London: Butterworth­Heinemann 1991

K. MEHLHORN: Data Structures and Algorithms 1: Sorting and Searching. Berlin­Heidelberg-New York: Springer 1984

208 Literatur

K. MEHLHORN: Data Structures and Algorithms 2: Graph-Algorithms and NP­Completeness. Berlin-Heidelberg-New York: Springer 1984

B. MEYER: Eiffel- The Language. Englewood Cliffs, NJ.: Prentice-Halll992

B. MEYER: Object-oriented software construction. Englewood Cliffs, N.J.: Prentice­Hall 1988

M. NAGL: Softwaretechnik: Methodisches Programmieren im Großen. Berlin­Heidelberg-New York: Springer 1990

T. OTTMANN, P. WIDMAYER: Algorithmen und Datenstrukturen. Mannheiin: Bibliographisches Institut 1993

RAASCH: Systementwicklung mit Strukturierten Methoden: Ein Leitfaden für Praxis und Studium. München: Hanser 1993

M. REISER, N. WIRTH: Programmieren in Überon: Das neue Pascal. Bonn: Addison­Wesley 1994

A. SALOMAA: Formale Sprachen. Berlin-Heidelberg-New York: Springer 1978

P. SANDER, W. SruCKY, R. HERSCHEL: Automaten - Sprachen - Berechenbarkeit. Stuttgart:Teubnerl995

G. SCHLAGETER, W. STUCKY: Datenbanksysteme, Konzepte und Modelle. Stuttgart:Teubnerl983

U. SCHÖNING: Logik für Informatiker. Mannheim: Bibliographisches Institut 1992

U. SCHÖNING: Theoretische Informatik kurz gefaßt. Mannheim: Bibliographisches Institut 1993

R. SEDGEWICK: Algorithms. Reading, MA: Addison-Wesley 1988

J. D. ULLMAN: Principles of Database and Knowledge-Base Systems. Vol. I. Rockville, MD: Computer Science Press 1988

K. WAGNER: Einführung in die Theoretische Informatik. Berlin-Heidelberg-New York: Springer 1994

W. WAlTE, G. GoOS: Compiler Construction. Berlin-Heidelberg-New York: Springer 1984

I. WEGENER: Theoretische Informatik. Stuttgart: Teubner 1993

Literatur 209

K. WEIHRAUCH: Computability. Berlin-Heidelberg-New York: Springer 1987

J. WEIZENBAUM: Die Macht der Computer und die Ohnmacht der Vernunft. FrankfurtlMain: Suhrkamp 1977

R. WILHELM, R. MAUER: Übersetzerbau, Theorie, Konstruktion, Generierung. Springer 1992

N. WIRTH: Algorithmen und Datenstrukturen mit Modula-2. Stuttgart: Teubner 1986

E. YOURDON: Techniques of Program Structure and Design. Englewood Cliffs, N.J.: Prentice-Halll975

M. V. ZELKOWITZ, A. C. SHA W, J. D. GANNON: Principles of Software Engineering and Design. Englewood Cliffs, N.J.: Prentice-Halll979

Stichwortverzeichnis

Abfragefunktion 164 Ableitungspfad 13 abstrakte Rechenstruktur 163 abstrakter Datentyp 163 Abstraktion 164 Abstraktionsebene 74; 165 Ackennann-Funktion 88 ad-hoc Polymorphismus 191 Adjazenzmatrix 3 akzeptierende Linksreduktion 34 akzeptierter Sprachschatz einer

Grammatik 19 akzeptiertes Wort 29 algebraische Hülle 13 algebraische Spezifikation 165 allgemeinster Unifikator 185 Analysephase 187 Anforderungsspezifikation 163 Anfrage 179 Annahme/Zusicherungs-Spezifikation

170 antisymmetrische Relation 4 Anwendung einer Regel 13 approximative Verfahren 127 äquivalente Grammatiken 21 äquivalente reguläre Ausdrücke 35 äquivalente Tenne 185 Äquivalenz regulärer Ausdrücke 35 Äquivalenzrelation 5 asymmetrische Relation 4 Attribut 173; 189 Aufzählung 106 average case 140 A VL-Baum 147; 150; 152 Axiom 18

B-Baum 148

Backtracking 129 Backtracking-Nichtdetenninismus 121 balancierter Baum 147 Bandkomplexität 111 Baum 145 beidseitig lineare Ersetzungsregel 23 berechenbare Funktion 73 Bildverstehen 199 BlackBox View 164 BNF-Schreibweise 52 Bottom-Up-Methode 132 Bottom-Up-Verfahren 58 Branch and Bound 127 Bubblesort 140

Chomsky-O-Sprache 23 Chomsky-l-Grammatik 22 Chomsky-2-Grammatik22; 29 Chomsky-3-Sprache 34 Chomsky-Grammatik 19 Church-Rosser-Eigenschaft 10 Churchsche These 102 ClientlServer 197 ClientlServer-Architektur 189

Datenbankmanagementsystem 177 Datenbanksystem 172 Datenmodelll72 Datenstruktur 163; 164 detenninistische Turing-Maschine 76 detenninistischer Automat 36 Diagonalisierung 104 Dijkstras Algorithmus 138 Diskriminator 164 Durchschnitt 2 durchschnittliche Komplexität 140 dynamische Bindung 192

212 Stichwortverzeichnis

Dynamisches Programmieren 127; 144

e-freier Automat 39 e-Kante 39 e-produktionsfreie Grammatik 19 e-Übergang 39 FlR-Diagramm 176 effizient lösbare Probleme 117 eindeutige Grammatik 27; 28 eindeutige Relation 5 Einschränkung der Problemklasse 127 einseitig lineare Ersetzungsregel 23 endlicher Automat 36 Entität 173 EntitätslRelations-Diagramm 176 EntitätslRelations-Modell 173 Entitätszustand 174 EntitylRelationship Diagram 176 EntitylRelationship Model 173 entscheidbares Prädikat 104 Entscheidungsverfahren 104 Entwurfsphase 187 Enumeration 106 Erfüllbarkeitsproblem 129 erkannter Sprachschatz einer Grammatik

19 Erreichbarkeit in Graphen 142 Ersetzungsregel13 externes Sortieren 142

Faktum 179 Fangzustand 37 fct allnodes 147 fct baldelete 155 fct balinsert 152; 157 fctbaum 128 fctd 135 fct delete_root 156 fct dijkstra 137 fctget 150 fct greatest 156 fcthk 122 fct insert 135; 150 fct isbal147 fct leftbalance 153; 157 fct mintour 136

fct ndsort 120 fctopt 133 fctperm 135 fctpre66 fct rightbalance 153; 157 fct sappend 66 fct sd 135 fct setopt 134 fct sicher 131 fct sortiert 147 fct sqrt 120 fct suche 129 fct suchemin 128 fctth 143 fctwth 143 Fixpunktoperator 96 Funktionskomposition 5

generative Grammatik 19 generische Sorte 167; 168 geordneter Baum 145 gerichteter Graph 5 gerichteter Hamilton-Kreis 117 geschlossene Adressierung 160 Glass Box View 164 Gödel 98 Gödelisierung 98; 103 Grammatik 18 Greedy 129 Greedy-Algorithmen 136 Greibach-Normalform 59; 60 grid ftle 161 Grundmenge einer Relation 2 Grundterm 165

Halbgruppenhülle 13 Hamilton-Kreis 122 hashing 158 heuristische Methode 127 Höhe eines Baums 145 Horn-Klausel-Programm 179 Horn-Klauseln 179 Hüllenbildung 6 hypothetische Maschine 75

Identitätsrelation 4

Implementierungsphase 187 Implementierungssicht 164 infonnation hiding 164; 188 injektive Relation 5 Integritätsbedingung 175 interface 164 internes Sortieren 142 inverse Relation 2 irreduzibles Wort 30 irreflexive Relation 4

Kante 5 kantenmarkierter Graph 5 Kapselung 190 Kellerautomat 53 Kellerkonfiguration 55 Klasse 189 Klientelrelation 191 Knoten 5 knotenmarkierter Graph 5 Kollision 158 kommutierendes Diagramm 74 Komplement 2 Komplexität eines Problems 109 Komplexität im ungünstigsten Fall 140 Komplexität von Sprachen 110 Komposition 81 Komposition primitiv rekursiver

Funktionen 85 Konfiguration einer n-Registennaschine

82 konfluente Relation 8 Konfluenz 8 Konklusion 179 Konstruktorfunktion 164 Kontextbedingung 61 kontextfreie Ersetzungsregel 22 kontextfreie Grammatik 22 kontextfreie Sprache 23 kontextsensitive Grammatik 22. kontextsensitive Sprache 23 konverse Relation 2 Kreuzchentabelle 3

late bin ding 191; 192 lineare Ordnung 5

Stichwortverzeichnis 213

Linksableitung 33 linkseindeutige Relation 4 linkslineare Ersetzungsregel 23 Linksnonnalfonn 17 Linksreduktion 33 linkstotale Relation 4 LL(k:)-Grammatik 67 Logikprogramm 179 LR(k:)-Grammatik 62 LR(k)-Sprache 61 LR-detenninistisch 61

J.l-rekursive Funktion 92 maximales Element 5 maximales Wort 30 Mechatronik 199 Methode 189 Methodenaufruf 189 minimaler Automat 50 Modularität 188; 190 Multimedia 197 Myhill-Nerode 51

Nachbedingung 170 negativ semientscheidbares Prädikat 104 nicht verlängernde Grammatik 21 nichtberechenbare Funktion 103 nichtdetenninistisch S(n)-

bandbeschränkt 113 nichtdetenninistisch T(n)-zeitbeschränkt

113 nichtdeterrninistische Auswahl 121 nichtdetenninistischer Automat 36 nichtorientierter Baum 145 nichtterrninales Zeichen 19 Nichtterrninalzeichen 52 nichttypisierter I-Kalkül 95 Nonnalfonn 9 NP 117 NP-complete 122 NP-hartes Problem 122 NP-vollständiges Problem 122 Nullrelation 4

Objekt 189 Objektkreation 194

214 Stichwortverzeichnis

Objektorientierung 187 offene Adressierung 159 orientierter Baum 145 overloading 190

P 117 paradoxical combinator 95 parallele Ersetzung 15 parametrischer Polymorphismus 190 partiell rekursive Funktion 94 partielle Funktion 5; 91 partielle Ordnung 5 partieller Automat 36 Persistenz 192 Pfeildiagramm 3 polymorphe Sorte 167 Polymorphie 190 Polymorphismus 192 positiv semientscheidbares Prädikat 104 prädikative Speziftkation 170 Prämisse 179 Präordnung 5 primitiv rekursive Funktion 85 Prinzip der Minimierung 92 probabilistische Algorithmen 127 Problemspeziftkation 163 proc LLaccept 69 proc LRaccept 66 proc make_array 146 proc rule 66 proc warshall 144 PROLOG 184 Pumping Lemma 50

Quasiordnung 5 query 179

Realisierung einer der Rechenstruktur 165

Recherche 178 rechnergestütztes Informationssystem

172 rechtseindeutige Relation 4 rechtslineare Ersetzungsregel 23 Rechtsnormalform 17 rechtstotale Relation 4

Reduktion 13; 19 Reduktionsgraph 24 reduktive Grammatik 19 reduzierbares Wort 29 reflexiv transitive Hülle 7 reflexive Hülle 7 reflexive Relation 4 Regel 179 Regelgrammatikmonoid 14 Registermaschine 82 reguläre Sprache 23; 34; 49 regulärer Ausdruck 35 Rekursionsgleichung 96 rekursivaufzählbar 106 Relation 2 Relationenalgebra 2 Relationenprodukt 2 Relationship 174 Resolution 180; 181 retrieval 178 Robotik 198 Rundreise 126

S(n)-bandbeschränkte Turing-Maschine 111

Sackgasse 30 Schema der primitiven Rekursion 85 Schlüssel 174 Schnittstelle 164 Selektor 164 Semi-Thue-Grammatik 18 Semi-Thue-System 13 separierte Ersetzungsregel 22 Signatur 165 Software-Entwicklung in Phasen 187 Sondieren 160 Sortierverfahren 140 soziale Kompetenz 201 spontaner Übergang 39 Streufunktion 158 Streuspeicherverfahren 158 strikt wortlängenmonotone Grammatik

22 Striktordnung 5 Strukturbaum 27 strukturelle Rekursion 94

Strukturgraph 24 Subsorting 191 Subtyping 191 surjektive Relation 5 symmetrisch transitive reflexive Hülle 8 symmetrische Hülle 7 symmetrische Relation 4 syntaktische Variable 52

T(n)-zeitbeschränkte Turing-Maschine 110

Teilmengenkonstruktion 42 Teilziel179 Telekommunikation 197 termerzeugte S-Algebra 167 terminale Konfiguration 78; 83 terminales Zeichen 19 Thue-System 13 Top-Down-Methode 132 Top-Down-Verfahren 58 totale Funktion 5 totale Relation 5 totaler Automat 36 Transitionsgraph 37 transitive Hülle 7 transitive Relation 4 trivialer Übergang 39 Turing-Maschine 76 Typ-O-Grammatik 19 Typ-I-Grammatik 22 Typ-2-Grammatik 22 typisierterl-Kalkü195

Stichwortverzeichnis 215

ungerichteter Graph 5 Uniftkation 184 U niftkator .185 Unterspeziftkation 169 untypisierter I-Kalkül 95

Vereinigung 2 Vererbung 190; 191 Verkapselung 190 verzögerungsfreie parallele Ableitung 17 Verzweigungsgrad eines Baums 145 voll Band-konstruierbar 115 voll Zeit-konstruierbar 115 vollständige Berechnung 83 vollständige Relation 4 vollständiger Baum 145

,Vorbedingung 170

Warshalls Algorithmus 142 Wiederverwendbarkeit 188 wissenschaftliches

Hochleistungsrechnen 199 worst case 140 wortlängenmonotone Grammatik 21 Wurzel 18; 145

Zeitkomplexität 109 Zerteilungsproblem 29 Zugriffs sicht 164 Zustandsübergangsgraph 37 zweistellige Relation 2

Springer-Verlag und Umwelt

Als internationaler wissenschaftlicher Ver­

lag sind wir uns unserer besonderen Verpflich­

tung der Umwelt gegenüber bewußt und be­

ziehen umweltorientierte Grundsätze in

Unternehmensentscheidungen mit ein.

Von unseren Geschäfts­

partnern (Druckereien, Papierfabriken, Verpak­

kungsherstellern usw.) verlangen wir, daß sie

sowohl beim Herstellungsprozeß selbst als

auch beim Einsatz der zur Verwendung kom­

menden Materialien ökologische Gesichtspunk­

te berücksichtigen.

Das für dieses Buch verwendete

Papier ist aus chlorfrei bzw. chlorarm herge­

stelltem Zellstoff gefertigt und im pH-Wert

neutral.