Skákavé výpočty: Aktualizace automatů a gramatik pro diskontinuální zpracování informací

Původní název:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Obsah knihy:

Skokový výpočet: je především teoreticky zaměřené pojednání o skákajících automatech a gramatikách, které zahrnuje všechna podstatná teoretická témata týkající se těchto automatů, včetně jejich síly, vlastností a transformací. Z praktického hlediska popisuje různé koncepty, metody, algoritmy, techniky, případové studie a aplikace založené na těchto automatech a gramatikách.

V dnešním počítačovém světě hraje vědecký vývoj a studium výpočtů, označované jako teorie výpočtů, zásadní roli. Jeden z důležitých oborů, teorie jazyků, zkoumá, jak definovat a studovat jazyky a jejich modely, které formalizují algoritmy, podle nichž se provádí jejich výpočet. Tyto modely definující jazyky se dělí do dvou základních kategorií: automaty, které definují jazyky rozpoznáváním jejich slov, a gramatiky, které je generují. Tato pravidla, zavedená před mnoha desetiletími, odrážejí klasické sekvenční výpočty. Dnešní výpočetní metody však často zpracovávají informace zásadně odlišným způsobem a často "přeskakují" velké části informací jako celky. Tato kniha upravuje klasické modely tak, aby bylo možné tento druh výpočtů náležitě formalizovat a studovat. Zjednodušeně řečeno, během procesu definování jazyka tyto upravené verze, nazývané skákající automaty a gramatiky, přeskakují slova, s nimiž pracují.

Kniha vybírá důležité modely a shrnuje klíčové výsledky o nich kompaktním a jednotným způsobem. Každý model vztahuje k určité formě moderních výpočtů, jako jsou sekvenční, poloparalelní a zcela paralelní výpočty, a vysvětluje, jak daný model správně odráží a formalizuje příslušnou formu výpočtu, což umožňuje získat systematizovaný soubor matematicky přesných poznatků týkajících se skokového výpočtu. Zvláštní pozornost kniha věnuje síle, uzávěrovým vlastnostem a transformacím a popisuje také mnoho algoritmů, které modifikují skákací gramatiky a automaty tak, aby splňovaly některé předepsané vlastnosti, aniž by měnily definovaný jazyk. Kniha bude velmi zajímavá pro každého, kdo se zabývá teorií výpočtů napříč obory informatiky, matematiky, inženýrství, logiky a lingvistiky.