Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Distinguishability, simulation and universality of Moore

Jurvanen E., Lipponen M.

Fundamenta Informaticae

1999

Vol. 38, Nr 1,2

79-91

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.