On recent trends in formal language theory
- 1 January 1987
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 136-162
- https://doi.org/10.1007/3-540-18088-5_12
Abstract
No abstract availableKeywords
This publication has 48 references indexed in Scilit:
- Test sets for finite substitutionsTheoretical Computer Science, 1986
- A proof of Ehrenfeucht's ConjectureTheoretical Computer Science, 1985
- Test sets for morphisms with bounded delayDiscrete Applied Mathematics, 1985
- A homomorphic characterization of regular languagesDiscrete Applied Mathematics, 1982
- Test sets for context free languages and algebraic systems of equations over a free monoidInformation and Control, 1982
- Equality Sets and Complexity ClassesSIAM Journal on Computing, 1980
- A Purely Homomorphic Characterization of Recursively Enumerable SetsJournal of the ACM, 1979
- Transductions and Context-Free LanguagesPublished by Springer Nature ,1979
- 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