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"
}