Saltare la computazione: Aggiornamento di automi e grammatiche per l'elaborazione discontinua delle informazioni

Titolo originale:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Contenuto del libro:

Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing è principalmente una trattazione teorica degli automi e delle grammatiche saltanti, che copre tutti gli argomenti teorici essenziali che li riguardano, tra cui la loro potenza, le proprietà e le trasformazioni. Da un punto di vista pratico, descrive vari concetti, metodi, algoritmi, tecniche, casi di studio e applicazioni basati su questi automi e grammatiche.

Nell'odierno mondo computerizzato, lo sviluppo scientifico e lo studio della computazione, denominato teoria della computazione, svolge un ruolo cruciale. Una branca importante, la teoria del linguaggio, studia come definire e studiare i linguaggi e i loro modelli, che formalizzano gli algoritmi in base ai quali viene eseguita la computazione. Questi modelli di definizione dei linguaggi sono classificati in due categorie fondamentali: gli automi, che definiscono i linguaggi riconoscendone le parole, e le grammatiche, che li generano. Introdotte molti decenni fa, queste regole riflettono la classica computazione sequenziale. Tuttavia, i metodi computazionali odierni elaborano spesso le informazioni in modo fondamentalmente diverso, "saltando" spesso su ampie porzioni dell'informazione nel suo complesso. Questo libro adatta i modelli classici per formalizzare e studiare correttamente questo tipo di calcolo. In parole povere, durante il processo di definizione del linguaggio, queste versioni adattate, chiamate automi saltatori e grammatiche, saltano sulle parole su cui lavorano.

Il libro seleziona modelli importanti e riassume i risultati chiave su di essi in modo compatto e uniforme. Mette in relazione ogni modello con una particolare forma di calcolo moderno, come il calcolo sequenziale, semi-parallelo e totalmente parallelo, e spiega come il modello in questione rifletta e formalizzi correttamente la forma di calcolo corrispondente, permettendoci così di ottenere un corpus sistematico di conoscenze matematicamente precise sul calcolo a salto. Il libro presta particolare attenzione alla potenza, alle proprietà di chiusura e alle trasformazioni, e descrive anche molti algoritmi che modificano le grammatiche e gli automi a salto in modo da soddisfare alcune proprietà prescritte senza modificare il linguaggio definito. Il libro sarà di grande interesse per chiunque faccia ricerca sulla teoria della computazione nei campi dell'informatica, della matematica, dell'ingegneria, della logica e della linguistica.