The following pages link to (Q4728263):
Displaying 6 items.
- HDTOL matching of computations of multitape automata (Q582131) (← links)
- On the decidability of the valuedness problem for two-way finite transducers (Q2672252) (← links)
- On the Decidability of Bounded Valuedness for Transducers (Q3599160) (← links)
- On some transducer equivalence problems for families of languages (Q3806848) (← links)
- $§igma TC$-порождаемые языки и проблемы относительной эквивалентности (Q4522712) (← links)
- (Q5092324) (← links)