The following pages link to (Q3334094):
Displaying 5 items.
- Pushdown machines for the macro tree transducer (Q1089810) (← links)
- High level tree transducers and iterated pushdown tree transducers (Q1096399) (← links)
- Macrotransducers and applicative systems for partially continuous functions (Q1407110) (← links)
- (Q3601401) (← links)
- Macro Tree Translations of Linear Size Increase are MSO Definable (Q4429669) (← links)