Pages that link to "Item:Q3637249"
From MaRDI portal
The following pages link to On the Decidability of the Equivalence for a Certain Class of Transducers (Q3637249):
Displaying 6 items.
- A description of \(\operatorname{Aut} (d V_n)\) and \(\operatorname{Out} (d V_n)\) using transducers (Q2694835) (← links)
- On the Decidability of Bounded Valuedness for Transducers (Q3599160) (← links)
- (Q3782812) (← links)
- On equivalence and uniformisation problems for finite transducers (Q4598267) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- (Q5090989) (← links)