The following pages link to (Q5111446):
Displaying 10 items.
- Regular transducer expressions for regular transformations (Q2064527) (← links)
- One-way resynchronizability of word transducers (Q2233399) (← links)
- Computability by monadic second-order logic (Q2656341) (← links)
- (Q3386623) (← links)
- (Q5089228) (← links)
- (Q5090448) (← links)
- Origin-equivalence of two-way word transducers is in PSPACE (Q5090958) (← links)
- On Synthesis of Resynchronizers for Transducers (Q5092432) (← links)
- Linear-time limited automata (Q5919709) (← links)
- Resynchronized uniformization and definability problems for rational relations (Q6599794) (← links)
