Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Jumping Computation (Skákající výpočet): Aktualizace automatů a gramatik pro zpracování nespojíte informace je především teoreticky orientované uchopení tématu skákajících automatů a gramatik pokrývající všechny související teoretická témata včetně síly modelů, jejich vlastností a transformací. Z praktického pohledu kniha studuje různé koncepty, modely, algoritmy, techniky, případové studie a aplikace založené na těchto automatech a gramatikách.

V dnešní počítačové době hraje teorie výpočtu - vědecké studování výpočtu a jeho vývoje - klíčovou roli. Jedním z důležitých odvětví je teorie jazyků, která zkoumá jak definovat a studovat jazyky a jejich modely, které formalizují algoritmy, podle kterých probíhá výpočet v těchto modelech. Tyto jazyk-definující modely jsou rozděleny na dvě základní kategorie: automaty, které definují jazyk rozpoznáváním jeho slov, a gramatiky, které tyto slova generují. Tato pravidla reflektují klasický sekvenční výpočet a byly zavedeny již před několika dekádami. Nicméně dnešní výpočetní metody často zpracovávají informace zcela odlišným způsobem, kdy často "skákají" mezi oblastmi informace jako celku. Tato kniha adaptuje klasické modely, aby lépe formalizovaly a studovaly tento druh výpočtu. Jednoduše řečeno, během definování jazyka tyto adaptované formalismy, zvané skákající automaty a gramatiky, skákají ve slově, které zpracovávají. 

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 se vztahuje k určité formě moderního výpočtu jako semi-paralelnímu či paralelnímu výpočtu. Vysvětluje jak studovaný model vhodně reflektuje a formalizuje odpovídající formu výpočtu, což nám umožnuje získat systematický základ matematicky přesné znalosti ohledně skákajícího výpočtu. Kniha věnuje dodatečnou pozornost síle, uzávěrovým vlastnostem a transformaci. Také popisuje mnoho algoritmů nad skákajícími gramatikami a automaty, takže splňují nějaké předepsané vlastnosti beze změny definovaného jazyka. Kniha jistě zaujme kohokoli zkoumajícího teorii výpočtu napříč počítačovými vědami, matematikou, inženýrstvím, logikou a linkvistikou.