Tree Automata and Languages: Volume 10
Teoria języków drzew, założona w późnych latach sześćdziesiątych i nadal aktywna w latach siedemdziesiątych, była znacznie mniej aktywna w latach osiemdziesiątych. Obecnie w kilku krajach nastąpiło jednoczesne odrodzenie, a w ciągu ostatnich pięciu lat udowodniono szereg znaczących wyników. Duża część z nich pojawia się w niniejszym tomie.
Redaktorzy tego tomu zasugerowali, aby autorzy napisali obszerne artykuły pół-badawcze. Zbiór ten jest zatem przydatny dla wszystkich zainteresowanych teorią języków drzew, ponieważ obejmuje większość najnowszych zagadnień, które nie zostały omówione w bardzo niewielu raczej starych standardowych książkach na ten temat. Drzewa pojawiają się naturalnie w wielu rozdziałach informatyki i każda nowa własność może skutkować ulepszeniem jakiegoś obliczeniowego rozwiązania rzeczywistego problemu w posługiwaniu się formułami logicznymi, strukturami danych, językami programowania w systemach, algorytmami itp. Przyjęty tutaj punkt widzenia kładzie nacisk na same własności i ich rygorystyczną matematyczną ekspozycję, a nie na wiele możliwych zastosowań.
Niniejszy tom jest użytecznym źródłem pojęć i metod, które mogą być z powodzeniem stosowane w wielu sytuacjach: jego filozofia jest bardzo bliska całej filozofii ESPRIT Basic Research Actions oraz filozofii European Association for Theoretical Computer Science.