We consider classes of forests defined by synchronized and pushdown tree automata having a fixed size of , respectively, synchronization or pushdown alphabet. We show that such families have nice properties, for instance, they from either a sheaf or a strict alphabetic cone of forests. Furthermore, for the (deterministic and nondeterministic) synchronized tree automata and the real-time pushdown tree automata we obtain a strict infinite forest hierarchy with respect to the alphabet size.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.