Tree Automata and Languages: Volumul 10

Titlul original:

Tree Automata and Languages: Volume 10

Conținutul cărții:

Teoria limbajelor arborescente, fondată la sfârșitul anilor șaizeci și încă activă în anii șaptezeci, a fost mult mai puțin activă în anii optzeci. Acum există o renaștere simultană în mai multe țări, cu o serie de rezultate semnificative dovedite în ultimii cinci ani. O mare parte dintre acestea apar în volumul de față.

Editorii acestui volum au sugerat ca autorii să scrie lucrări cuprinzătoare de jumătate de sondaj. Prin urmare, această colecție este utilă pentru toți cei interesați de teoria limbajelor cu arbori, deoarece acoperă majoritatea întrebărilor recente care nu sunt tratate în foarte puținele cărți standard destul de vechi pe această temă. Arborii apar în mod natural în multe capitole ale informaticii și fiecare proprietate nouă este susceptibilă de a duce la îmbunătățirea unei soluții de calcul a unei probleme reale în manipularea formulelor logice, structurilor de date, limbajelor de programare pe sisteme, algoritmilor etc. Punctul de vedere adoptat aici este de a pune accentul pe proprietățile în sine și pe expunerea lor matematică riguroasă, mai degrabă decât pe numeroasele aplicații posibile.

Acest volum este o sursă utilă de concepte și metode care pot fi aplicate cu succes în multe situații: filosofia sa este foarte apropiată de întreaga filosofie a acțiunilor de cercetare fundamentală ESPRIT și de cea a Asociației Europene pentru Informatică Teoretică.