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, over...