The following pages link to (Q4910755):
Displaying 8 items.
- Algorithmic aspects of decomposition and equivalence of finite-valued transducers (Q259883) (← links)
- Lexicographic decomposition of \(k\)-valued transducers (Q1959399) (← links)
- Word-mappings of level 2 (Q2441544) (← links)
- Equivalence Checking Problem for Finite State Transducers over Semigroups (Q2947161) (← links)
- On the Decidability of the Equivalence for k-Valued Transducers (Q3533016) (← links)
- On the Decidability of the Equivalence for a Certain Class of Transducers (Q3637249) (← links)
- Limited Non-determinism Hierarchy of Counter Automata (Q4910447) (← links)
- (Q5092324) (← links)
