An Introduction to Formal Languages and Automata

An Introduction to Formal Languages and Automata, Seventh Edition biedt een inleiding in formele talen, automaten, berekenbaarheid en gerelateerde onderwerpen uit de theorie van de berekening. De tekst hanteert een probleemoplossende aanpak, waarbij studenten op verschillende niveaus worden uitgedaagd. De zesde editie wordt in het boek herschreven en aangevuld met nieuwe oefeningen en extra hoofdstukken over parsing, zodat theorie direct in praktische contexten toegepast kan worden. Het boek vormt een basis voor fundamentele principes in de informatica, bereidt studenten voor op vervolgstudies en versterkt het vermogen om formele en rigoureuze wiskundige argumenten te formuleren. Centrale ideeën worden geïntroduceerd aan de hand van motiverende voorbeelden uit toepassingen, zodat concepten duidelijk blijven zonder de benodigde wiskundige notaties en stellingen uit het vakgebied te verliezen.

De titel richt zich op studenten in informatica en computerengineering met voorkennis van programmeren, gegevensstructuren en algoritmen, en discrete wiskunde (zoals verzamelingen, functies, relaties, logica en redeneren). De auteur Alfredo Linz benadrukt beweringen op een manier die inzicht geeft in onderliggende principes, geïllustreerd door voorbeelden. Onderwerpen omvatten onder meer eindige en pushdown-automaten, reguliere en contextvrije talen en grammars, en turingmachines, naast andere modellen van berekening.

Pagina’s: 572, Editie: 7e ed., Paperback, Jones and Bartlett Publishers, Inc.