Automata Theory and Logic
Lange, Martin
Produktnummer:
18cfc857dda81840a0afd825148ed773c6
| Autor: | Lange, Martin |
|---|---|
| Themengebiete: | Automata Endliche Automaten Entscheidungsverfahren Formale Sprachen Logic Monadic second-order logic Monadische Logik 2. Stufe Theoretical Computer Science alternating automata star-free languages |
| Veröffentlichungsdatum: | 28.12.2025 |
| EAN: | 9783662721537 |
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
Produktinformationen "Automata Theory and Logic"
This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and presents their applications for logics used in program verification. The presentation of such concepts – some of which are 50 years old or more – is given in a modern style and is accompanied by many exercises. The book can be used for self-study or as a basis for a graduate course on automata and logic, presupposing knowledge on finite automata and regular languages of finite words only.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen