Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
We extend the notions of distinguishability of states, simulation and universality of string automata to tree automata of Moore type. In particular, we prove that for each finite class of tree automata satisfying certain conditions, there is a unique minimal universal tree automaton. The transfer from strings to rees brings new aspects but also adds difficulties in generalizing classical Moore results.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
79--91
Opis fizyczny
bibliogr. 11 poz.
Twórcy
autor
autor
- Department of Mathematics, University of Turku, FIN-20014 Turku, Finland, {jurvanen,marlip}@utu.fi
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0031