The following pages link to (Q3948612):
Displaying 6 items.
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
- Pushdown machines for the macro tree transducer (Q1089810) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- Principal abstract families of weighted tree languages (Q2064529) (← links)
- Iterated linear control and iterated one-turn pushdowns (Q3776663) (← links)