Jumping Computation: Automaták és nyelvtanok frissítése a diszkontinuus információfeldolgozáshoz

Eredeti címe:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Könyv tartalma:

Ugrószámítás: Updating Automata and Grammars for Discontinuous Information Processing elsősorban az ugró automaták és nyelvtanok elméleti jellegű feldolgozása, amely az összes lényeges elméleti témát lefedi, beleértve a hatalmukat, tulajdonságaikat és transzformációikat. Gyakorlati szempontból különböző fogalmakat, módszereket, algoritmusokat, technikákat, esettanulmányokat és alkalmazásokat ír le, amelyek ezeken az automatákon és nyelvtanokon alapulnak.

A mai számítógépes világban a számítás tudományos fejlesztése és tanulmányozása, amelyet számításelméletnek neveznek, döntő szerepet játszik. Az egyik fontos ág, a nyelvelmélet azt vizsgálja, hogyan lehet meghatározni és tanulmányozni a nyelveket és modelljeiket, amelyek formalizálják azokat az algoritmusokat, amelyek szerint a számításuk végrehajtódik. Ezek a nyelveket meghatározó modellek két alapvető kategóriába sorolhatók: automaták, amelyek a szavak felismerésével határozzák meg a nyelveket, és nyelvtanok, amelyek generálják azokat. A sok évtizeddel ezelőtt bevezetett szabályok a klasszikus szekvenciális számítást tükrözik. A mai számítási módszerek azonban gyakran alapvetően más módon dolgozzák fel az információt, gyakran "átugorva" az információ nagy részét mint egészet. Ez a könyv a klasszikus modelleket adaptálja az ilyen jellegű számítások megfelelő formalizálására és tanulmányozására. Egyszerűen fogalmazva, a nyelvi definiálási folyamatuk során ezek az adaptált változatok, amelyeket ugró automatáknak és nyelvtanoknak neveznek, átugranak a szavakon, amelyeken dolgoznak.

A könyv fontos modelleket választ ki, és a velük kapcsolatos legfontosabb eredményeket kompakt és egységes módon foglalja össze. Minden modellt a modern számítás egy adott formájához kapcsol, például a szekvenciális, a félig párhuzamos és a teljesen párhuzamos számításhoz, és elmagyarázza, hogy a szóban forgó modell hogyan tükrözi és formalizálja megfelelően a számítás megfelelő formáját, lehetővé téve ezáltal, hogy az ugró számítással kapcsolatos matematikailag pontos ismeretek rendszerezett gyűjteményét kapjuk. A könyv különös figyelmet szentel a hatalomnak, a zártsági tulajdonságoknak és a transzformációknak, valamint számos olyan algoritmust is ismertet, amelyek úgy módosítják az ugráló nyelvtanokat és automatákat, hogy azok a definiált nyelv megváltoztatása nélkül megfeleljenek bizonyos előírt tulajdonságoknak. A könyv nagy érdeklődésre tarthat számot mindazok számára, akik a számításelméletet kutatják az informatika, a matematika, a mérnöki tudományok, a logika és a nyelvészet területén.