The following pages link to Synchronized tree automata (Q1325832):
Displaying 4 items.
- The generative capacity of block-synchronized context-free grammars (Q557813) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q671682) (← links)
- Variable Tree Automata over Infinite Ranked Alphabets (Q3014945) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q5096728) (← links)