Teoretická informatika — přehledně, výstižně a prakticky. Teoretická informatika se zabývá základními otázkami vyčíslitelnosti a strukturou jazyků. Zkoumá, které problémy jsou algoritmicky řešitelné, jaké modely k tomu potřebujeme a jaké hranice výpočtů existují. Tato kniha vás krok za krokem uvede do základů formálních jazyků, vyčíslitelnosti a teorie automatů. Seznámíte se s nejdůležitějšími modely — od konečných automatů, přes zásobníkové automaty a bezkontextové gramatiky až po Turingův stroj. Přitom nepochopíte pouze formální konstrukce, ale osvojíte si také důkazové techniky, jimiž se ověřují vlastnosti jazyků, a odhalíte meze toho, co je vyčíslitelné. Složitá témata jako pumping-lemma, Myhill–Nerodeova věta, diagonalizace či Riceova věta jsou podána jasně a názorně. Početné obrázky, příklady a cvičení s řešeními názorně ilustrují teorii a upevňují učivo. Kapitoly jsou modulárně uspořádány a didakticky promyšlené, takže si můžete vybírat cíleně nebo se učit krok za krokem. Důkazy jsou uvedeny v plné podobě, přičemž je kladen důraz na intuici a praktický význam. Tím získáte fundovaný, dobře čitelný úvod do jednoho z ústředních oborů informatiky — ideální pro studenty, učitele a všechny, kteří chtějí teoretickou informatiku nejen pochopit, ale i uplatnit v praxi.
