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