New techniques for proving the decidability of equivalence problems
- 1 March 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 71 (1) , 29-45
- https://doi.org/10.1016/0304-3975(90)90189-o
Abstract
No abstract availableKeywords
This publication has 39 references indexed in Scilit:
- The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is DecidableSIAM Journal on Computing, 1987
- Test sets for finite substitutionsTheoretical Computer Science, 1986
- A proof of Ehrenfeucht's ConjectureTheoretical Computer Science, 1985
- Systems of equations over a free monoid and Ehrenfeucht's conjectureDiscrete Mathematics, 1983
- Test sets for context free languages and algebraic systems of equations over a free monoidInformation and Control, 1982
- The decidability of equivalence for deterministic finite transducersJournal of Computer and System Sciences, 1979
- Some decidability results about regular and pushdown translationsInformation Processing Letters, 1979
- Single-valued a-transducersJournal of Computer and System Sciences, 1977
- The decidability of the equivalence problem for DOL-systemsInformation and Control, 1977
- The equivalence problem for deterministic two-tape automataJournal of Computer and System Sciences, 1973