Tree Automata and Languages: Volume 10
A hatvanas évek végén alapított és a hetvenes években is aktívan működő fa-nyelvek elmélete a nyolcvanas években sokkal kevésbé volt aktív. Most egyszerre több országban is újraéledt, és az elmúlt öt évben számos jelentős eredményt sikerült bizonyítani. Ezek nagy része jelen kötetben jelenik meg.
A kötet szerkesztői azt javasolták, hogy a szerzők írjanak átfogó, fél-fél-felméréses tanulmányokat. Ez a gyűjtemény ezért hasznos mindazok számára, akiket a fanyelvek elmélete érdekel, mivel a legtöbb olyan új keletű kérdést tárgyalja, amelyekkel a témával foglalkozó nagyon kevés, meglehetősen régi standard könyv nem foglalkozik. A fák természetesen megjelennek a számítástechnika számos fejezetében, és minden új tulajdonság valószínűleg egy-egy valós probléma valamilyen számítási megoldásának javítását eredményezi a logikai formulák, adatszerkezetek, programozási nyelvek rendszerek, algoritmusok stb. kezelésében. Az itt elfogadott nézőpont az, hogy a hangsúlyt inkább magukra a tulajdonságokra és azok szigorú matematikai kifejtésére helyezzük, mintsem a számos lehetséges alkalmazásra.
Ez a kötet olyan fogalmak és módszerek hasznos forrása, amelyek számos helyzetben sikeresen alkalmazhatók: filozófiája nagyon közel áll az ESPRIT Alapkutatási Akciók és az Európai Elméleti Számítástudományi Társaság egész filozófiájához.