Automi e linguaggi ad albero: Volume 10

Titolo originale:

Tree Automata and Languages: Volume 10

Contenuto del libro:

La teoria dei linguaggi ad albero, nata alla fine degli anni Sessanta e ancora attiva negli anni Settanta, è stata molto meno attiva negli anni Ottanta. Ora è in corso una rinascita simultanea in diversi paesi, con una serie di risultati significativi dimostrati negli ultimi cinque anni. Una buona parte di essi compare nel presente volume.

I curatori di questo volume hanno suggerito agli autori di redigere dei documenti completi di mezza indagine. Questa raccolta è quindi utile per tutti coloro che sono interessati alla teoria dei linguaggi ad albero, in quanto copre la maggior parte delle questioni recenti che non sono trattate nei pochi libri standard piuttosto vecchi sull'argomento. Gli alberi compaiono naturalmente in molti capitoli dell'informatica e ogni nuova proprietà può portare al miglioramento di qualche soluzione computazionale di un problema reale nella gestione di formule logiche, strutture di dati, linguaggi di programmazione su sistemi, algoritmi ecc. Il punto di vista adottato in questa sede è quello di porre l'accento sulle proprietà stesse e sulla loro rigorosa esposizione matematica piuttosto che sulle numerose applicazioni possibili.

Questo volume è un'utile fonte di concetti e metodi che possono essere applicati con successo in molte situazioni: la sua filosofia è molto vicina a quella delle azioni di ricerca di base di ESPRIT e a quella della European Association for Theoretical Computer Science.