Automata: Theory, Trends, And Applications

finite automata, pushdown automata, Turing machines, jumping automata, deep pushdown automata, regulated automata, grammars, syntax analysis, computational musicology, natural language transformation

Kniha nabízí hlubší analýzu klasické teorie automatů včetně konečných automatů, zásobníkových automatů a Turingových strojů. Dále pokrývá moderní trendy v teorii automatů jako skákající, hluboké či regulované automaty. Kniha balancuje mezi teoretickým a praktickým přístupem k tématům tím, že představuje mnoho problémů skutečného světa z různých vědeckých oblastí od zpracování programovacích či přirozených jazyků po výpočetní muzikologii, kde lze automaty aplikovat. V knize jsou všechny formalismy ohledně automatů představeny formálně a obtížnější matematické pasáže jsou uvedeny intuitivním vysvětlením, aby i tyto části bylo jednoduché pochopit. Kniha demonstruje, že automaty tvoří základ řady inženýrských technik v počítačových vědách. Dále je tato monografie užitečnou referencí pro vědce z oblastí počítačových věd, výpočetní matematiky, výpočetní linkvistiky a vývoje překladačů. Lze ji využít také jako materiál pro vysokoškolskou výuku teorie a aplikace automatů a teorie vyčíslitelnosti. Kniha zpřístupňuje také webovou stránku s doplňujícími materiály jako příklady s řešením, doplňující případové studie, přednáškové podklady, poznámky pro učitele a další.