Pages that link to "Item:Q2278270"
From MaRDI portal
The following pages link to Equivalence checking of prefix-free transducers and deterministic two-tape automata (Q2278270):
Displaying 4 items.
- A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict (Q1124364) (← links)
- Equivalence problems for transducers with a bounded number of states (Q1280978) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)