Korte beschrijving/Annotatie

Inleidend vakboek over computatietheorie met een gestructureerde behandeling van formele talen en berekenbaarheid. De inhoud loopt van eindige automaten, pushdown-automaten en contextvrije grammatica’s tot de Turingmachine. Daarnaast behandelt het bewijstechnieken om eigenschappen van talen aan te tonen en onderzoekt het de grenzen van het berekenbare. Expliciet genoemde kernbegrippen zijn onder meer het pumping-lemma, Myhill–Nerode, de stelling van Kleene, diagonalisatie en de stelling van Rice. De opbouw is modulair, met uitgewerkte bewijzen, voorbeelden, grafieken en oefenopgaven met voorbeeldantwoorden, geschikt als ondersteuning bij colleges of voor zelfstudie.

Tekst achterflap

Computatietheorie — helder, compact en praktisch. Dit boek leidt u stap voor stap in de basisprincipes van formele talen en berekenbaarheid: van eindige automaten via pushdown-automaten en contextvrije grammatica’s tot de krachtige Turingmachine. U leert niet alleen de formele modellen kennen, maar begrijpt ook de bewijstechnieken waarmee eigenschappen van talen aangetoond worden — en vooral waar de grenzen van het berekenbare liggen. Met talrijke voorbeelden, duidelijke grafieken, overzichtelijke bewijzen en oefenopgaven met voorbeeldantwoorden is dit boek ideaal voor studenten, docenten en iedereen die zich gestructureerd in het onderwerp wil verdiepen. Kernbegrippen zoals het pumping-lemma, Myhill–Nerode, de stelling van Kleene, evenals diagonalisatie en de stelling van Rice, worden begrijpelijk gepresenteerd en in hun consequenties besproken. Er is bijzondere aandacht besteed aan begrijpelijkheid en praktische bruikbaarheid: de hoofdstukken zijn modulair opgebouwd, bewijzen volledig uitgewerkt, en waar technische details afleiden, wordt de intuïtie benadrukt. Talrijke oefenopgaven bevorderen actief begrip — perfect als begeleidend tekstmateriaal bij colleges of voor zelfstudie.

Beschrijving

Computatietheorie — helder, compact en praktisch. Dit boek leidt u stap voor stap in de basisprincipes van formele talen en berekenbaarheid: van eindige automaten via pushdown-automaten en contextvrije grammatica’s tot de krachtige Turingmachine. U leert niet alleen de formele modellen kennen, maar begrijpt ook de bewijstechnieken waarmee eigenschappen van talen aangetoond worden — en vooral waar de grenzen van het berekenbare liggen. Met talrijke voorbeelden, duidelijke grafieken, overzichtelijke bewijzen en oefenopgaven met voorbeeldantwoorden is dit boek ideaal voor studenten, docenten en iedereen die zich gestructureerd in het onderwerp wil verdiepen. Kernbegrippen zoals het pumping-lemma, Myhill–Nerode, de stelling van Kleene, evenals diagonalisatie en de stelling van Rice, worden begrijpelijk gepresenteerd en in hun consequenties besproken. Er is bijzondere aandacht besteed aan begrijpelijkheid en praktische bruikbaarheid: de hoofdstukken zijn modulair opgebouwd, bewijzen volledig uitgewerkt, en waar technische details afleiden, wordt de intuïtie benadrukt. Talrijke oefenopgaven bevorderen actief begrip — perfect als begeleidend tekstmateriaal bij colleges of voor zelfstudie.

Details