Lite r atu rve rze i ch n is

Standard-lehrbucher AHo, A v., SETHI, R und ULLMAN, J. D. (1988): Compilerbau. Addison-Wesley.

BAUER, F. L. und WOSSNER, H. (1984): Algorithmische Sprache und Programmentwicklung. Springer Verlag, zweite Auf!.

CORMEN, T. H., LEISERSON, C. E. und RIvEsT, R L. (1990): Introduction toAlgorithms. The MIT Press. ISBN 0-262-03141-8.

HOPCROFf, J. E. und ULLMAN, J. D. (1990): Einfohrung in die Automatentheorie, flrmale Sprachen und Komplexitiitstheorie. Addison-Wesley, zweite Auf!.

KAsTENS, U. (1990): Obersetzerbau, Bd. 3.3. Oldenbourg Verlag, Milnchen Wien.

KFOURY, A, MOLL, R und ARBIB, M. (1982): A Programming Approach to Computability. Springer Verlag.

LoCKEMANN, P. c., KRUGER, G. und KRUMM, H. (1993): Telekommunikation und Datenhaltung. Carl Hanser Verlag.

OTTMANN, T. und WIDMAYER, P. (1996): Algorithmen und Datenstrukturen. Spektrum Akademi­scher Verlag, dritte Auf!.

SCHONING, U. (1995): Theoretische Informatik kurz gefoft. BI-Wissenschaftsverlag, zweite Auf!.

TANENBAUM, A. S. (1981): Computer Networks. Prentice Hall, Englewood Cliffs. ISBN 0-13-164699-0.

WAITE, W. M. und Goos, G. (1984): Compiler Construction. Springer Verlag.

WEGENER, 1. (1993): Theoretische Informatik. B. G. Teubner Verlag.

Berechen barkeit CHURCH, A. (1936): An Unsolvable Problem of Elementary Number Theory. Amer. J Math., 58:

345-363.

HERMES, H. (1978): Au/ziihlbarkeit, Entscheidbarkeit, Berechenbarkeit. Springer Verlag.

MARxEN, H. und BUNTROCK, J. (1990): Attacking the Busy Biber 5. Bulletin of the EATCS, 40: 247-251.

SPERSCHNEIDER, V. und HAMMER, B. (1996): Theoretische Informatik - Eine problemorientierte Einfohrung. Springer Verlag.

TURING, AM. (1937): On Computable Numbers, with an Application to the Entscheidungspro­blem. Proc. London. Math. Soc. (2), 42: 230-265.

Komplexitatstheorie GAREY, M. R undJoHNsON, D. S. (1979): Computers and Intractability -A Guide to the Theory

ofN 'P -Completeness. Freeman.

274 Literaturverzeichnis

HARTMANIS, J. und STEARNS, H. E. (1965): On the Computational Complexity of Algorithms. Trans. Amer. Math. Soc., 117: 285-306.

VAN LEEUWEN, J. (Hrsg.) (1990): Algorithms and Complexity, Bd. A von Handbook of Theoretical Computer Science. Elsevier.

Formale Sprachen BAR-HILLEL, Y., PERLl!S, M. und SHAMIR, E. (1961): On formal Properties of Simple PhraseStruc­

ture Grammars. Z Phonetik Sprach. Kommunikationsforsch., 14: 143-172.

BRAUER, W. (1984): Automatentheorie. B. G. Teubner Verlag.

CHOMSKY, N. (1956): Three Models for the Description of Language. IRE Trans. Inform. Theory, IT2: 113-124.

CHOMSKY, N. (1962): Context-free Grammars and Pushdown Storage. Techn. Ber. Quart. Progr. Rep. 65, M.I.T. Res. Lab. Electron.

DEREMER, F. L. (1971): Simple LR(k) grammars. Communications of the ACM, 14(7): 453-460.

EVEY, R J. (1963): Application of Pushdown Store Machines. In Proc. 1963 FaOJoint Computer Conference, S. 215-227. AFIPS Press, Montvale, N. J.

GINSBURG, S. (1966): The Mathematical Theory of Context-Free Languages. NcGraw-Hill.

GLENNIE, A. E. (1960): On the Syntax Machine and the Construction of a Universal Compiler. Technical Report No.2, Computation Center, Carnegie Institute of Technology, Pittsburgh.

HUNT, H. B., SZ¥MANSKI, T. G. und ULLMAN, J. D. (1975): On the Complexity ofLR(k) Testing. In Proc. SecondACM Symp. on Principles of Programming Languages, S. 137-148. ACM.

KumNE, S. C. (1956): Representation of Events in Nerve Nets and Finite Automata. In Automata Studies, S. 3-42. Princeton Univ. Press.

KNuru, D. E. (1965): On the Translation of Languages from Left to Right. Information and Control, 8(6): 607-639.

LANGMAACK, H. (1971): Application of Regular Canonical Systems to Grammars Translatable from Left to Right. Acta Informatica, 1: 111-114.

LEwIs II, P. M. und STEARNS, R E. (1968): Syntax-Directed Transduction. Journal of the ACM, 15(3): 465-488.

MEALY, G. H. (1955): A Method for Synthesizing Sequential Circuits. BeD. Syst. Tech. j, 34: 1045-1079.

OETTINGER, A. (1961): Automatic Syntactic Analysis and the Push-Down Store. In Proc. Symp. AppL Math., Bd. 12, S. 104-129. Amer. Math. Soc., Providence (RI., USA).

ROSENKRANTZ, D. J. und STEARNS, R E. (1970): Propetties of Deterministic Top-Down Gram­mars. Information and Control, 17(3): 226-256.

SALOMAA, A. (1978): Formale Sprachen. Springer Verlag.

SAMELSON, K. und BAUER, F. L. (1959): Sequentielle Formeliibersetzung. Elektron. &chenanlagen, 1: 176-182.

SIPPU, S. und SOISALON-SOININEN, E. (1988): Parsing Theory: Languages and Parsing, Bd. I. Springer Verlag.

SIPPU, S. und SOISALON-SOININEN, E. (1990): Parsing Theory: LR(k)- and LL(k)-Parsing, Bd. II. Springer Verlag.

Literaturverzeichnis 275

Prog rammtransformationen ARsAC, J. J. (1979): Syntactic Source to Source Transforms and Program Manipulation. C4CM,

22: 43-53.

BIRD, R. S. (1977): Improving Programs by the Introduction of Recursion. C4CM, 20: 856-863.

JENSEN, J. und NAUR, P. (1961): Call by Name: An Implementation of ALGOL 60 Procedures. BIT, 1: 38.

NAuR, P. (Hrsg.) (1962): Revised Report on the Algorithmic Language ALGOL 60, Bd. 4 von Numer. Math.

STEELE, G. 1. (1990): Common Lisp: the Language. Digital Press, Burlington MA, zweite Auf!.

STEELE, G. 1. und SUSSMANN, G. J. (1977): The Revised Report on SCHEME: A Dialect of LISP. Techn. Ber., MIT Artificial Intelligence Laboraty, Memo 452.

Spezifikationstechniken: Die Z Notation ABRIAL, J.-R., BORGER, E. und UNGMAACK, H. (Hrsg.) (1996): Formal Methods for Industrial

Applications: SpecifYing and Programming the Steam Boiler Control, Bd. 1165 von Lecture Notes in Computer Science. Springer-Verlag.

BJ0RNER, D. und JONES, C. B. (1982): Formal Specification and Software Devewpment. Prentice­Hall.

BOWEN, J. (1996): Formal Specification and Documentation Using Z - A Case Study Approach. International Thomson Computer Press.

BROY, M., MERZ, S. und SPIES, K. (Hrsg.) (1996): Formal System Specification. The RPC-Memory Specification Case Study, Bd. 1169 von Lecture Notes in Computer Science. Springer-Verlag.

FUTATSUGI, K., GOGUEN, J. A., JOUANNAUD, J. P. und MESEGUER, J. (1985): Principles ofOBJ2. In 12th ACM Symposium on Principles of Programming Languages, S. 52--66, New Orleans. ACM.

GUTIAG, J. v. und HORNING, J. J. (1993): Larch: Languages and Tools for Formal Specification. Springer Verlag.

HAYES, 1. ]. (Hrsg.) (1993): Specification Case Studies. Prentice Hall International Series in Computer Science, zweite Auf!. ISBN 13-832544-8.

JONES, C. B. (1980): Software Development - A Rigorous Approach. Prentice-Hall.

JONES, C. B. (1986): Systematic Software Development using VDM. Prentice-Hall.

UNO, K. und HAUGHTON, H. (Hrsg.) (1994): Object-Oriented Specification Case Studies. Prentice Hall.

LEWERENTz, C. und LINDNER, T. (1995): Case Study Production Cell' A Comparative Study in Formal Software Development, Bd. 891 von Lecture Notes in Computer Science. Springer Verlag.

LISKOV, B. und GUTTAG, J. (1986): Abstraction and Specification in Program Development. The MIT Press.

LUCAS, P. und WALK, K. (1971): On the Formal Description ofPVI. Annual Review of Automatic Programming.

MAcDONALD, A. und CARRINGTON, D. (1994): Z specification of the Production Cell. Technical Report TR94-46, Software Verification Research Centre, Univ. of Queensland, Australia.

MAcDONALD, A. und CARRINGTON, D. (1995): Structuring Z Specifications: Some Choices. In ZUM'95: The Z Formal Specification Notation, herausgegeben von Bowen, J. P. und Hinchey, M. G., Bd. 967 von Lecture Notes in Computer Science, S. 203-223. Springer Verlag.

276 Literaturverzeichnis

POTl'ER, B. F., SINCLAIR, J. E. und TILL, D. (1991): An Introduction to Formal Specijication andZ. Prentice Hall International Series in Computer Science. ISBN 13-478702-1.

SCO'IT, D. S. und STRACHEY, C. (1971): Towards a Mathematical Theory for Computer Languages. In Proc. Symp. on Computers and Automata, Bd. 21 von Microwave Rearch Institute Symposia Series, S. 19-46. Polytechnic Institute of Brooklyn.

SPrvEY, J. M. (1992): The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, zweite Auf I. ISBN 13-978529-9.

STEPNEY, S., BARDEN, R. und COOPER, D. (Hrsg.) (1992): Object Orientation in Z, Workshops in Computing. Springer Verlag.

STRACHEY, C. (1966): Towards a Formal Semantics. In Formal Language Description Languages, herausgegeben von Steel, T. B., S. 198-220, Baden b. Wien. IFIP TC-2 Working Conference, North-Holland.

WEGNER, p. (1972): The Vienna Definition Language. Compo Surveys, 4(1): 5-63.

WORDSWORTH, J. B. (1992): Software Development with Z. Addison-Wesley. ISBN 0-201-62757.

Ablaufspezifikationen DI]KSTRA, E. W. (1968): The Structure of the "THE"-Multiprogramming System. Communica­

tions of the ACM, 11 (5): 341-346.

HARm., D. (1987): Statecharts: A Visual Formalism for Complex Systems. Science of Programming, 8(3): 231-274.

HARm" D., LACHOVER, H., NAAMAD, A. ET AL. (1990): Statemate: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4): 403-413.

HARm., D. und NAAMAD, A. (1996): The STATEMATE Semantics of Statecharts. ACM Trans. Software Eng. andMeth., 5(4): 293-333.

HI!RRTWICH, R. G. und HOMMEL, G. (1989): Kooperation und Konkurrenz - Nebenliiujige, verteilte und echtzeitabhiingige Programmsysteme. Springer Verlag.

HOARE, C. (1985): Communicating Sequential Processes. International Series in Computer Science. Prentice Hall.

HOGREFE, D. (1989): Estelle, Lotus und SDL. Springer-Verlag.

I LoGIX (1993): Statemate User and Reference Manual, WJll i-Logix Inc., Burlington, USA.

!NMOS (Hrsg.) (1984): Occam Programming Manual. Prentice Hall.

LEvESON, N. G. und TURNER, C. S. (1993): An Investigation of the Therac-25 Accidents. Com­puter,26(7): 18-41.

MANNA, Z. und PNUELI, A. (1992): The Temporal Logic of Reactive and Concurrent Systems Speciji­cation. Springer Verlag.

OWICKI, S. S. und GRIES, D. (1976): An axiomatic proof technique for parallel programs I. Acta In!, 6: 319-340.

REMBOLD, U. und l.EvI, P. (1994): Realzeitsysteme zur Prozejfautomatisierung. Carl Hanser Verlag.

15.1 15.2 15.3 15.4 16.1 16.2 16.3 16.4 16.5 16.6 16.7 16.8 16.9 16.10 16.11 16.12 16.13 16.14 16.15 16.16

Programmverzeichnis

Reduktion regularer und kontextfreier Grammatiken Algorithmus zur Teilmengenkonstruktion . . . . . . LR-Zerteiler .................... . LL(1)-Zerteiler mit rekursivem Abstieg zu Beispiel 15.23 Vertauschen von Abfragen . . . . . . Einseitiges Vertauschen von Abfragen . . . . . Vertauschung von Anweisungen . . . . . . . . TAl: Vereinbarung als Transformationsschema . TA2 und TA3: Einsetzen und Falten . . . TAi: Berechnen oder Konstantenfaltung . TA5: Verallgemeinerung ....... . TEl: Rechtsrekursion ........ . TEf: Verallgemeinerte Rechtsrekursion TE2: Zentralrekursion mit Keller ... TE3: Zentralrekursion mit Funktionsumkehr TE4: Nicht-lineare Rekursion ....... . TE5: Nicht-lineare Rekursion mit unabhangigen Aufrufen . T~: Funktionsumkehr ... TA7: Operandenvertauschung TAs: Umklammern .....

80 85

133 140 147 148 148 148 149 151 152 154 156 157 158 160 160 162 162 163

Stichwortverzeichnis

A Abhangigkeit, kausale 247 Ablauf, synchroner 222 Ablaufspezifikation 175 Ableitungsbaum 96 Abschnitt, kritischer 254 Abstieg, rekursiver 102,139 Abstraktion 194,223 Abweisung 18 Ackermannfunktion 12,42 acknowledge siehe Bestatigung Aktion 227

atomare 253,259 Akzeption 18,29 Alarm 248 algorithmisch berechenbar 3 Algorithmus 1

goto- 5,13 offline 6 onlinc 6 partieller 2 totaler 2

Anfangszustand 15 Anforderungsspezifikation 175 Anfrage 250 Anschreiben 262 Antiabhangigkeit 247 Arbeitsplan 57,64 Ariadnefaden 157 Asynchronitat 241,252 Ausdruck

rationaler 144 regularer 83

Ausloser 226 Ausnahmebehandlung 248 Ausposaunen 221 Automat

charakteristischer 131 endlicher, deterministischer 80 endlicher, nicht-deterministischer 80 linear bandbeschrankter 141

Mealy- 90 Moore- 82,227 reduzierter 81 vollstiindiger 81

B Band 15 Bandalphabet 15 Bandinschrift 16 Bankiersproblem 264 Y. BAR-HILLEL 93 Bedingung 218,224,226 Befehl

einer T uringmaschine 17 privilegierter 249

Behalterproblem 57,72 berechenbar 3

algorithmisch 3 effektiv 1

berechenbare Funktion Bereichsbeschrankung 192 Bereichssubtraktion 192 Bestiitigung 250 Bitiibertragungssystem 251 Botschaft 246

Kopf einer 262 Botschaftensystem

asynchrones 260 synchrones 250

BPP siche Behalterproblem broadcast siche Ausposaunen BUCHI 129

CCITT 272 Chomsky

C

-Grammatik 31,77,78,95,141 -Normalform 101

N. CHOMSKY 77,144 A. CHURCH 3 CHuRcHsche These 3 CLIQUE 55,63

Stichwortverzeichnis

COCKE-KAsAMI-¥OUNGER 102 COLOR siehe Graphfarbung commit siehe Festschreiben COMMON LIsp 172 COOK 59 COOPER 161

D Dachzustand 219 Datenfehler 270 Datenstruktur 191 DEA siehe Automat, endlicher

deterministischer Definition, generische 190 Dekoration 183 d-Schema 184 DHC siehe Hamiltonscher Kreis Diagonalisierung 37 Diagonalsprache 36 E. W. DIJKSTRA 146,264 DMA siehe direkter Speicherzugriff DSPACE 74 DTIME 74 Durchschleusen 188,264

B-frei 100 EARLEY 102

E

EC siehe Euler-Kreis Echtzeitbedingung, harte 177 effektiv berechenbar 1 Effizienz 52 Einbau,offener 8 Eindeutigkeit 99 einfache LL(k)-Grammatik 138 Eingabealphabet 15 Eingriff 249 Einsetzen 149 Einzel-Bit-Fehler 270 Einzelschritt 230 Empfanger 246 Endzustand 15 Entrekursivierung 152 entscheidbar 2 Entscheidung 18 Entwurfsspezifikation 175

Ereignis 218,224 regulares 144

Erfiillbarkeitsproblem 54 Ethernet 263 Euler-Kreis 57 lDGPTIME 52,74

F Farbung 56,72 Fairnea 244 Falle 243 Falten 149 Fehler, zerteilerdefinierter 128,137 Fehlerbehandlung 213 Fehlerhalt 18 Fertigungszelle 197 Festschreiben 267 Flieabandverarbeitung 264 for-Schleife 6 Forme!, quantifizierte boolesche 75 Funktion

berechenbare 1, 3 primitiv rekursive 39 rekursive 1

Funktionsumkehr 161

G

279

Gesamtschritt 230 Geschwindigkeitsbedingung 242 Ginsburgsche sequentielle Maschine 90 Gode!nummer 4,33 goto-Algorithmus 5 Grammatik

abstrakte 99 CH-O- 31 CH-l- 141 CH-2- 95 CH-3- 78 Chomsky- 31,77,78,95,141 eindeutige 99 einfache LL(k) 138 kontextfreie 94 kontextsensitive 140 LALR(k) 136 linkslineare 89 LL(k) 136

280

LR(k) 128 mehrdeutige 99 reduzierte 79 regul1ire 78 SLL(k) 138

Graphfarbung 72 Graphfarbungsproblem 56 S. A. GREIBACH 104 Greibach-Normalform 104 D. GRIES 164,243 GSM siehe Ginsburgsche sequentielle

Maschine

H Hiille 83 Halteproblem 35 Hamiltonscher Kreis 57,68,71 Handlungsreisender 57,71 He siehe Hamiltonscher Kreis Hierarchie 221 Historie 221 C. A. R. HOARE 173,264 Hoare-Logik 146 Homomorphismus 89

mverser 89

I N. IMMERMANN 142 Inadaquatheit 131 Index einer Relation 86 inharent mehrdeutig III interrupt siehe Unterbrechung Iterationslemma 93, 108

J JENSENS Trick 151

K Kanal 262 Kausalitat 247 Keller 116 Kelleralphabet 116 Kellerautomat

deterministischer 125 nicht-deterministischer 116

Kellerklasse 128

Stichwortverzeichnis

Kettenproduktion 82 S.c. KLEENE 14,46 KLEENEsche Normalform 14,46 knapsack siehe Rucksackproblem D. E. KNUTH 166 KNUTH-MoRRIs-PRATT 172

Textsuche nach 166 KOLMoGoRov-Komplexitat 76 Kommunikation

speichergestiitzte 252 synchrone 250

Kommunikationsprotokoll 246 Komplexitatsklasse 51 Komplexitatstheorie 51 Konfiguration 16, 23, 116 Kon£likt 230 Konkurrenz 246 Konstante, dynamische 151 kontextfrei 94 kontextsensitiv 140 Kooperation 245 Koroutine 259 Korrespondenzproblem

Anfangs- 47 Postsches 46

KP siehe Rucksackproblem KP* siehe Rucksackproblem

L Langenbeschranktheit 141 LALR(k)-Grammatik 136 A -Abstraktion 192 Larch 215 LBA siehe Automat, linear

bandbeschrankter Lebendigkeit 243 Leistungsanforderung 176 Linearitat 105 Linksableitung 97 Linksfaktorisierung 103 Linkslinearitat 89 Linksrekursion 102,153

mit Funktionsumkehr 158 LISP 172 LL(k)-Grammatik 136 LL-Automat 119

Stichwortverzeichnis

Logik, temporale 272 loop-Algorithmus 5 LR(k)-Grammatik 128

LR-Automat 119 LR-Zerteiler 134

M Makro

-aufruf 8 -definition 8 -kopf 8 -rumpf 8 -substitution 8,149

Maschine, sequentielle 90 Mealy-Automat 90 Mehrdeutigkeit 99

inharente 99, 111 Mehrfachmenge 193 Meta-N 216 Minimierung 12 Modell-Priifen 272 Monitor 266 MOORE 86 Moore-Automat 82,227 J. H. MORRIS 166 J.I.-Operator 45,182 J.I.-rekursiv 45 Muster, langstes 84

N Nachfolgerfunktion 5 Nachrichtenkanal 251 Namensaufruf 151 NEA siehe Automat, endlicher

nicht -deterministischer Nebenlaufigkeit 217,240 Nerode-Relation 86 Nichtterminal, rekursives 116 NKA siehe Kellerautomat,

nicht-deterministischer Normalform 100 NP 30,52,74 NP-hart 59 NP-vollstandig 54 NPSPACE 52,74 NSPACE(t(n)) 74

NTIME(t(n)) 74

o OBJ 215 Object-Z 178,216 offener Einbau 8 ojJline-Algorithmus 6 OGDENS Lemma 110 online-Algorithmus 6 Operandenvertauschung 161 Orakel 29 S. OWICKI 243

P P 30,52,74 Palindrom 94 Parallelitat 241 PARIKH 104 Satz von PARIKH 105 PARIKH-Abbildung 104 partieller Algorithmus 2

281

PARTITION siehe Partitionierungsproblem Partitionierungsproblem 57,72 periodisch, schlieSlich 109 Petrinetz 81

sicheres 256 Pfad 238 Pfadausdruck 238 Phrasenstruktur 96 PKP siehe Postsches Korrespondenzproblem Plausibilitatskontrolle 245 POLYGON 53 EMIL.L. POST 46 Postsches Korrespondenzproblem 46 pradiktiv 98 V. R. PRATT 166 pred siehe Vorgangerfunktion primitiv rekursiv 39 Produktion, langenbeschrankte 141 Programmausfuhrung, symbolische 147 Programmiersprache, applikative 145 Programmtransformation 145 PROLOG 172 Protokoll 246 Protokollfehler 270 ProzeS, sequentieller 81, 240

282

Prozesse unverschrankte 241 verschrankte 241 zeitlich verzahnte 241

Prozessor, virtueller 260 Prozessorvergabe 260 PSPACE 52,74 PSPACE-vollstandig 75 Pumping-Lemma 93,108

Q QBF siehe Formel, quantifizierte

boolesche

R RAM-Modell 5,6 rationaler Ausdruck 144 Reaktion

dynamische 227 statische 227

Rechenaufwand 30 Rechenschablone 146 Rechtsableitung 97 Rechtsfaktorisieren 103,132 Rechtsinvarianz 86 Rechtsrekursion 153 Reduktion 35,79,81 Reduktionsklasse 127 ReduktionskonBikt 131 Reduktionsregel 119 reduzierbar, polynomiell 53 regulare Sprache 79 regulare Substitution 89 regulares Ereignis 144 Rekursion

!ineare 153 Links- 102,153 Links-, mit Funktionsumkehr 158 nicht-Iineare 153, 159 primitive 40 Rechts- 153,154 Zentral- 153 Zentral-, mit Funktionsumkehr 158 Zentral-, mit Keller 157

Rekursionsschema 40 rekursiv 2, 39

Stichwortverzeichnis

rekursivaufzahlbar rekursive Funktion 1 rekursiver Abstieg 102,139 Relation

Index einer 86 Nerode- 86 rechtsinvariante 86

Rendezvous 261 request siehe Anfrage Roboter 198 J. ROHRICH 242 Rucksackproblem 56,66, 68 Rucksetzen 267 Rumpf eines Makros 8 Rundspruch 221

S SAT siehe Erfiillbarkeitsproblem 2SAT 55 3SAT 55,62 SAVITCH 52,74 Schema 179

.:1- 184 generisches 190 E- 185

Schemadekoration 183 SCHEME 172 Schift-ReduktionskonBikt 131 Schiftregel 119 Schleifeninvariante 155 Schleifenlemma 93, 108 Schreiblesekopf 15 Schreibabhangigkeit 247 D. S. SCOTT 216 SDL 272 Semantik, denotationelle 216 Semaphor 252

ausschlieRendes 254 binares 253 Mutex- 254 privates 254 zahlendes 256

semi-entscheidbar 1 Semi-Thue-System 77 Semilinearitat 105 Sender 246

Stichwortverzeichnis

Sequenz 191 injektive 192

Sicherheitsforderungen 202 Signatur 179 Simulation 49,229

von Algorithmusbegriffen 3 Situation 130

vollstandige 130 SLL(k)-Grammatik 138 Speicherzugri£f. direkter 250 Sperre 248 Spezifikation 173

Ablauf- 175 algebraische 174 Anforderungs- 175 Entwurfs- 175 modellgestiitzte 175 offener Systeme 175 Verhaltens- 175

Spezifikationstreue 178 Spezifikationsverfeinerung 194 Spiegelsprache 88 Spiegelwort 88 Spontanubergang 88 Sprache

deterministische 125 e-freie 100 einer Turingmaschine 18 kontextfreie 95 kontextsensitive 140 linkslineare 89 regulate 79

Spur 238 SRAM 5 Statecharts 218, 223 Steuerung 15 C. STRACHEY 216 Strichdarstellung 17 Strom 259 Strukturbaum 99 Substitution

regulate 89 zulassige 149

succ siehe Nachfolgerfunktion super step siehe Gesamtschritt Synchronisierung 246

Synchronitat 241,250 System 173

nebenlaufiges 217 offenes 175 paralleles 217 reaktives 217 sequentielles 238

R. SZELEPCSENYI 142

T Tatigkeit 227 Teilmengenkonstruktion 85 Terminator 258 Terminierung eines Algorithmus 1 test-and-set 253 Testen, symbolisches 147 Textsuche 166 trace siehe Spur Transaktion 267 Transduktor 90

283

Transformation, semantikerhaltende 146 Transformationsschema 146 Transportschicht 251 travelling salesman siehe

Handlungsreisender Trennzeichen 15 trigger siehe Ausloser TSP siehe Handlungsreisender Tiirme von Hanoi 75 A. M. TURING 15 Turing-Machtigkeit 37 Turingmaschine

entscheidende 18 k-spurige 25 linear bandbeschrankte 141 nicht-deterministische 29 Sprache einer 18 universelle 32 zusammengesetzte 20

Typ 179

U Obergangsfunktion 15 Obertragungsblock 249 Umbenennung, konsistente 9,13,149 Umfang, einer Grammatik 78

284

Umklammern 161 Unterbrechung 248

programmierte 248 Unterbrechungsbit 248 Unterbrechungsroutine 248 Unterbrechungssperre 248 Unterbrechungsvektor 250 Unterbrechungswort 249 uvw-Theorem 93 uvwxy-Theorem 108

V Validierung 178 VOL siehe Vienna Definition Language

. VOM siehe Vienna Definition Method Verallgemeinerung 152 Verdrangung 258 Vereinbarung 148, 179 Verfeinerung 194,219,221

von Algorithmen 196 von Oatenstrukturen 196 von Spezikationen 194

Vergleichsregel 119 Verhaltensspezifikation 175 Verhungern 244 Verifikation 177 Verklemmungsfreiheit 243 Vienna Definition Language 216 Vienna Definition Method 216 Vierfarbensatz 56 Vorgangerfunktion 5 Vorhersageregel 119 Vorschauzeichen 117 Vorstudie 175

W Warten

aktives 257 geschaftiges 257 passives 258

Wechselgesprach, strenges 258

Stichwortverzeichnis

Wert 183 Wertbeschrankung 192 Wertsubtraktion 192 while-Algorithm us 11 Wiener Oefinitionsmethode 216 Wiener Oefinitionssprache 216 WP siehe Arbeitsplan wp-Kalkal 146

X 2: -Schema 185

Z Z Notation 175,180,181,216 Zahl, chromatische 56 Zeit, virtuelle 251, 260 Zeitfehler 244 Zeitmodell

asynchrones 230 synchrones 230

Zeitscheibe 258 Zentralrekursion 153

mit Funktionsumkehr 158 mit Keller 157

Zerteiler 134 zerteilerdefinierter Fehler 128,137 Zusammenfuhrung 221 Zustand 183,218

einer Turingmaschine 15 eines Prozesses 258 einfacher 218 Oder- 219 orthogonaler 219 unabhangiger 219 Und- 219

Zustand, inadaquater 131 Zustandsanderung 217 Zustandsdiagramm 217, 218 Zustandsmaschine 217 Zustandsabergang 217, 218