Pages that link to "Item:Q1280978"
From MaRDI portal
The following pages link to Equivalence problems for transducers with a bounded number of states (Q1280978):
Displaying 14 items.
- On the containment and equivalence problems for two-way transducers (Q418777) (← links)
- Ordering sequences by permutation transducers (Q505039) (← links)
- Balance of many-valued transductions and equivalence problems (Q1095671) (← links)
- Decidability problems for unary output sequential transducers (Q1179182) (← links)
- Transforming a single-valued transducer into a Mealy machine (Q1267709) (← links)
- Solvability problems for \(ND\)-systems (Q1592108) (← links)
- Equivalence of transducers relative to regular languages (Q1816023) (← links)
- A simple undecidable problem: the inclusion problem for finite substitutions on \(ab^* c\) (Q1887138) (← links)
- Finite transducers and rational transductions (Q2074205) (← links)
- (Q3782812) (← links)
- $§igma TC$-порождаемые языки и проблемы относительной эквивалентности (Q4522712) (← 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)