Pages that link to "Item:Q593781"
From MaRDI portal
The following pages link to On some decision questions concerning pushdown machines (Q593781):
Displaying 3 items.
- On the equivalence of some transductions involving letter to letter morphisms on regular languages (Q1058303) (← links)
- A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict (Q1124364) (← links)
- On the finite-valuedness problem for sequential machines (Q1173410) (← links)
