Dit studieboek van Dexter C. Kozen biedt undergraduate students een heldere introductie tot de fundamentele theoretische modellen van de berekenbaarheid. Met een focus op een systematische opbouw, behandelt het boek finite automata, pushdown automata en contextvrije talen. Vervolgens wordt de lezer geïntroduceerd in Turingmachines, effectieve berekenbaarheid, beslisbaarheid en Gödel’s onvolledigheidsstellingen.
Omschrijving
Het boek is bedoeld voor undergraduate students met een basiskennis van discrete wiskunde en geeft een introductie tot de belangrijkste modellen van de computationele theorie. Naast uitvoerige uitleg bevat het talrijke oefeningen van eenvoudig tot uitdagend niveau. De cursus start met finite automata en breidt uit naar meer complexe modellen met pushdown automata. In latere hoofdstukken komen Turingmachines en geavanceerde theoretische concepten aan bod.
Promotionele informatie
Springer Book Archives
Productspecificaties
- Auteur: Dexter C. Kozen
- Serie: Undergraduate Texts in Computer Science
- Uitgever: Springer-Verlag New York Inc.
- Verschijningsdatum: 1997-04-30
- Aantal pagina's: 400
- ISBN: 9780387949079
- Thema: Mathematical theory of computation
- BISAC: COMPUTERS / Machine Theory