Příručka matematických modelů pro jazyky a výpočty

Původní název:

Handbook of Mathematical Models for Languages and Computation

Obsah knihy:

Teorie výpočtů se používá k řešení problémů vznikajících v mnoha oblastech informatiky, jako je umělá inteligence, jazykové procesory, psaní překladačů, informační a kódovací systémy, návrh programovacích jazyků, architektura počítačů a další. K pochopení témat týkajících se této teorie se čtenáři musí seznámit s jejími výpočetními a jazykovými modely, které vycházejí z pojmů diskrétní matematiky včetně množin, relací, funkcí, grafů a logiky.

Tato příručka důsledně seznamuje s důležitými pojmy tohoto druhu a využívá je k pokrytí nejdůležitějších matematických modelů pro jazyky a výpočty, jako jsou různé klasické i moderní automaty a gramatiky. Vysvětluje jejich použití v tak zásadně významných tématech teorie výpočtů, jako je vypočitatelnost, rozhodnutelnost a výpočetní složitost.

Zvláštní pozornost věnují autoři implementaci všech těchto matematických konceptů a modelů a přehledně vysvětlují, jak je zakódovat ve výpočetní praxi. Všechny počítačové programy jsou napsány v jazyce C#.