# Automata and Computability

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

## Details

- **Price:** 90.99 EUR
- **Vendor:** Intertaal
- **Type:** Boek

## Variants

| Variant | Price | Available |
|---------|-------|-----------|
| Default Title | 90.99 EUR | In stock |

## Images

- Blauw hardcover studieboek automata and computability door dexter c met een introductie voor undergraduate students

## Additional Information

- **ISBN :** 9780387949079
- **Auteur:** Dexter C. Kozen
- **Serie:** Undergraduate Texts in Computer Science
- **Categorie / Thema:** Studieboek / academisch

---

> Source: [Intertaal](https://intertaalid.nl/products/automata-and-computability-dexter-c-kozen-9780387949079)
> Updated: 2026-08-24