Morgan Kaufmann Boek Berekenbaarheid, Complexiteit en Talen

Computability, Complexity, and Languages is een inleidende tekst die de belangrijkste gebieden van de informatica behandelt, waaronder de theorie van recursieve functies, formele talen en automata. Ze gaat uit van een minimale achtergrond in formele wiskunde en is opgebouwd volgens vijf delen: Computability, Grammars en Automata, Logic, Complexity, en Unsolvability. De theorie van computability wordt geïntroduceerd op een manier die zo veel mogelijk gebruikmaakt van programmeerervaring, onder meer met een ‘universeel’ programma dat minder dan één pagina inneemt. Het aantal oefeningen werd aanzienlijk uitgebreid. Automata-theorie, computationele logica en complexiteitstheorie worden op een flexibele manier gepresenteerd, zodat ze in diverse opstellingen behandeld kunnen worden.

Belangrijkste kenmerken

• Behandelt computability, formele talen en automatisering
• Gaat uit van minimale wiskundige basis
• Vijfdelen: Computability, Grammars en Automata, Logic, Complexity, Unsolvability
• Univ. programma neemt minder dan één pagina
• Oefeningen meer dan verdrievoudigd
• 609 pagina's, 2e herziening, paperback, Academic Press