Pages that link to "Item:Q3533016"
From MaRDI portal
The following pages link to On the Decidability of the Equivalence for k-Valued Transducers (Q3533016):
Displaying 11 items.
- Algorithmic aspects of decomposition and equivalence of finite-valued transducers (Q259883) (← links)
- Balance of many-valued transductions and equivalence problems (Q1095671) (← links)
- Lexicographic decomposition of \(k\)-valued transducers (Q1959399) (← links)
- On the decidability of the valuedness problem for two-way finite transducers (Q2672252) (← links)
- Equivalence Checking Problem for Finite State Transducers over Semigroups (Q2947161) (← links)
- Nondeterministic Streaming String Transducers (Q3012906) (← links)
- On the Decidability of Bounded Valuedness for Transducers (Q3599160) (← links)
- On the Decidability of the Equivalence for a Certain Class of Transducers (Q3637249) (← links)
- (Q4728263) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- (Q5092324) (← links)