Skákacie výpočty: Aktualizácia automatov a gramatík na diskontinuálne spracovanie informácií

Pôvodný názov:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Obsah knihy:

Skokový výpočet: Je to predovšetkým teoreticky orientované pojednanie o skákajúcich automatoch a gramatikách, ktoré zahŕňa všetky podstatné teoretické témy týkajúce sa týchto automatov, vrátane ich sily, vlastností a transformácií. Z praktického hľadiska opisuje rôzne koncepty, metódy, algoritmy, techniky, prípadové štúdie a aplikácie založené na týchto automatoch a gramatikách.

V dnešnom počítačovom svete zohráva vedecký vývoj a štúdium výpočtovej techniky, označované ako teória výpočtovej techniky, kľúčovú úlohu. Jedno z dôležitých odvetví, teória jazykov, skúma, ako definovať a študovať jazyky a ich modely, ktoré formalizujú algoritmy, podľa ktorých sa vykonáva ich výpočet. Tieto modely definujúce jazyky sa delia na dve základné kategórie: automaty, ktoré definujú jazyky rozpoznávaním ich slov, a gramatiky, ktoré ich generujú. Tieto pravidlá, zavedené pred mnohými desaťročiami, odrážajú klasické sekvenčné počítanie. Dnešné výpočtové metódy však často spracúvajú informácie zásadne odlišným spôsobom, pričom často "preskakujú" veľké časti informácií ako celok. Táto kniha prispôsobuje klasické modely na formalizáciu a správne štúdium tohto druhu výpočtov. Jednoducho povedané, počas procesu definovania jazyka tieto upravené verzie, nazývané skákajúce automaty a gramatiky, preskakujú slová, na ktorých pracujú.

V knihe sú vybrané dôležité modely a zhrnuté ich kľúčové výsledky v kompaktnej a jednotnej podobe. Každý model dáva do súvislosti s konkrétnou formou moderných výpočtov, ako sú sekvenčné, poloparalelné a úplne paralelné výpočty, a vysvetľuje, ako daný model správne odráža a formalizuje príslušnú formu výpočtu, čo nám umožňuje získať systematizovaný súbor matematicky presných poznatkov týkajúcich sa skokového výpočtu. V knihe sa venuje osobitná pozornosť výkonu, vlastnostiam uzáveru a transformáciám a opisuje sa v nej aj množstvo algoritmov, ktoré modifikujú skákacie gramatiky a automaty tak, aby spĺňali niektoré predpísané vlastnosti bez zmeny definovaného jazyka. Kniha bude veľmi zaujímavá pre každého, kto skúma teóriu výpočtov v rôznych oblastiach informatiky, matematiky, inžinierstva, logiky a lingvistiky.