Languages, Machines, and Classical Computation
Jazyky, automaty a klasické výpočty je nová vysokoškolská učebnica o spojených predmetoch Formálne jazyky a automaty a Vypočítateľnosť a zložitosť. Pod pojmom nová máme na mysli viac než len jej nedávne vydanie:
⬤ Je (jasnejšie) štruktúrovaná okolo Chomského hierarchie, ktorá je jej chrbticou.
⬤ Má celkový algoritmický prístup, pričom mnohé ústredné algoritmy sú dôkladne a jasne popísané krok za krokom.
⬤ Nijaký programovací jazyk ani softvér v nej nehrá žiadnu úlohu, čo zaručuje (matematickú) všeobecnosť rôznorodého obsahu.
⬤ Je do istej miery návratom k pôvodným učebnicovým prístupom z konca 70. rokov a začiatku 80. rokov, ktoré sú dnes často neprávom považované za príliš náročné pre vysokoškolské publikum.
A,.
⬤ V neposlednom rade berie do úvahy skutočnosť, ktorú iné učebnice uvedených predmetov zväčša alebo úplne ignorujú, že hovoriť dnes o výpočtoch sa ukazuje ako mimoriadne nejednoznačná záležitosť, pretože sa vyvinuli mnohé iné formy výpočtov mimo toho, čo môžeme nazvať Turingovou - von Neumannovou paradigmou.
Dôležitou súčasťou tejto učebnice je široký výber cvičení, od jednoduchých úloh až po výskumné projekty a skúmanie tvorivých zručností.
Všetky matematické témy potrebné na uspokojivé pochopenie preberaného obsahu sú uvedené v úvodnej kapitole, čo z tejto učebnice robí do značnej miery samostatnú učebnicu.
Súčasné druhé vydanie opravuje dodatky a errata, má vylepšené aj nové obrázky, dodatočný algoritmus a prepracované cvičenia.
