Stromové automaty a jazyky: 10. diel

Pôvodný názov:

Tree Automata and Languages: Volume 10

Obsah knihy:

Teória stromových jazykov, ktorá vznikla koncom šesťdesiatych rokov a bola aktívna aj v sedemdesiatych rokoch, bola v osemdesiatych rokoch oveľa menej aktívna. Teraz dochádza k jej súčasnému oživeniu vo viacerých krajinách, pričom v posledných piatich rokoch sa dokázalo niekoľko významných výsledkov. Veľká časť z nich sa objavuje v tomto zväzku.

Editori tohto zväzku navrhli, aby autori napísali komplexné poloprehľadové práce. Tento zborník je preto užitočný pre každého, kto sa zaujíma o teóriu stromových jazykov, pretože zahŕňa väčšinu najnovších otázok, ktoré nie sú spracované vo veľmi málo pomerne starých štandardných knihách o tejto problematike. Stromy sa prirodzene objavujú v mnohých kapitolách informatiky a každá nová vlastnosť pravdepodobne vedie k zlepšeniu nejakého výpočtového riešenia reálneho problému pri práci s logickými formulami, dátovými štruktúrami, programovými jazykmi na systémoch, algoritmami atď. Pohľad, ktorý sme tu zaujali, kladie dôraz skôr na samotné vlastnosti a ich rigoróznu matematickú expozíciu než na množstvo možných aplikácií.

Tento zväzok je užitočným zdrojom pojmov a metód, ktoré možno úspešne aplikovať v mnohých situáciách: jeho filozofia je veľmi blízka celej filozofii ESPRIT Basic Research Actions a filozofii Európskej asociácie pre teoretickú informatiku.