Jumping Computation: Automate și gramatici de actualizare pentru procesarea discontinuă a informațiilor

Titlul original:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Conținutul cărții:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing este în primul rând un tratament orientat teoretic al automatelor și gramaticilor săritoare, acoperind toate subiectele teoretice esențiale referitoare la acestea, inclusiv puterea, proprietățile și transformările lor. Din punct de vedere practic, ea descrie diverse concepte, metode, algoritmi, tehnici, studii de caz și aplicații bazate pe aceste automate și gramatici.

În lumea informatizată de astăzi, dezvoltarea și studiul științific al calculului, denumit teoria calculului, joacă un rol crucial. O ramură importantă, teoria limbajelor, investighează modul de definire și de studiere a limbajelor și a modelelor acestora, care formalizează algoritmii conform cărora se execută calculul lor. Aceste modele de definire a limbajelor sunt clasificate în două categorii de bază: automate, care definesc limbajele prin recunoașterea cuvintelor lor, și gramatici, care le generează. Introduse cu multe decenii în urmă, aceste reguli reflectă calculul secvențial clasic. Cu toate acestea, metodele de calcul actuale prelucrează frecvent informațiile într-un mod fundamental diferit, "sărind" frecvent peste porțiuni mari ale informațiilor ca întreg. Această carte adaptează modelele clasice pentru a formaliza și studia corect acest tip de calcul. Mai simplu spus, în timpul procesului de definire a limbajului, aceste versiuni adaptate, numite automate săritoare și gramatici, sar peste cuvintele asupra cărora lucrează.

Cartea selectează modele importante și rezumă rezultatele-cheie ale acestora într-un mod compact și uniform. Ea raportează fiecare model la o anumită formă de calcul modern, cum ar fi calculul secvențial, semiparalel și total paralel, și explică modul în care modelul în cauză reflectă și formalizează în mod corespunzător forma de calcul corespunzătoare, permițându-ne astfel să obținem un corp sistematizat de cunoștințe precise din punct de vedere matematic cu privire la calculul săritor. Cartea acordă o atenție deosebită puterii, proprietăților de închidere și transformărilor și descrie, de asemenea, mulți algoritmi care modifică gramaticile și automatele săritoare astfel încât acestea să satisfacă anumite proprietăți prescrise fără a schimba limbajul definit. Cartea va fi de mare interes pentru oricine cercetează teoria calculului în domeniile informaticii, matematicii, ingineriei, logicii și lingvisticii.