Detail publikace
Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing
one-head automata, generalized jumping finite automata, one-way jumping finite automata, multi-head atuomata, double-jumping finite automata, multi-parallel jumping finite automata, jumping Watson-Creck finite automata, Jumping 5'->3' Watson-Crick finite automata, sequential jumping grammars, jumping scattered context grammars, pure jumping grammars, other discontinuous computation devices, application perspectives, models of DNA computation, debt lemma.
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.
@book{BUT188317,
author="Alexandr {Meduna} and Zbyněk {Křivka}",
title="Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing",
year="2024",
publisher="CRC Press LLC",
address="Boca Raton",
pages="1--275",
doi="10.1201/9781003107910",
isbn="978-0-367-62093-6"
}