Some decidability results about regular and pushdown translations
- 1 January 1979
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 8 (1) , 5-8
- https://doi.org/10.1016/0020-0190(79)90080-2
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- On the decidability of homomorphism equivalence for languagesJournal of Computer and System Sciences, 1978
- The decidability of the equivalence problem for DOL-systemsInformation and Control, 1977