Pages that link to "Item:Q2947161"
From MaRDI portal
The following pages link to Equivalence Checking Problem for Finite State Transducers over Semigroups (Q2947161):
Displaying 8 items.
- Equivalence checking of prefix-free transducers and deterministic two-tape automata (Q2278270) (← links)
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (Q2409577) (← links)
- (Q4673421) (← links)
- On Equivalence Checking of Nondeterministic Finite Automata (Q5045387) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- Encoding musical procedures by sequential transducers (Q5212984) (← links)
- Ferromagnetic Wire Memory (Q5532539) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)