Free Access
RAIRO-Theor. Inf. Appl.
Volume 24, Number 4, 1990
Page(s) 327 - 337
Published online 01 February 2017
  1. J. BERSTEL, Transductions and Context-Free Languages, Teubner, Stuttgart, 1979. [MR: 549481] [Zbl: 0424.68040] [Google Scholar]
  2. M. BIRD, The Equivalence Problem for Deterministic two-tape Automata, J. Comput. Sci., Vol. 7, 1973, pp.218-236. [MR: 342290] [Zbl: 0271.94039] [Google Scholar]
  3. K. CULIK II, A Purely Homomorphic Characterization of Recursively Enumerate Sets, J. Assoc. Comput. Mach., Vol. 6, 1979, pp.345-350. [MR: 528036] [Zbl: 0395.68076] [Google Scholar]
  4. K. CULIK II and J. KARHUMÄKI, Systems of equations over a free Monoid and Ehrenfeucht's Conjecture, Discrete Math., Vol. 43, 1983, pp. 139-153. [MR: 685623] [Zbl: 0528.68057] [Google Scholar]
  5. [5]K. CULIK II and J. KARHUMÄKI, The Equivalence of Finite Valued Ttansducers (on HDTOL Languages) is Decidable, Theoret. Comput. Sci., Vol. 47, 1986, pp. 71-84. [MR: 871465] [Zbl: 0621.68049] [Google Scholar]
  6. K. CULIK II and J. KARHUMÄKI, Systems of Equations Over a Finitely Generated free Monoid Having an Effectively Equivalent Finite Subsystem, Lecture Notes in Mathematics (to appear). [Zbl: 0648.68084] [Google Scholar]
  7. K. CULIK II and J. KARHUMÄKI, HDTOL Matching of Computations of Multiple Automata, Acta Informatica (to appear). [Zbl: 0689.68103] [Google Scholar]
  8. S. GINSBURG, The Matematical Theory of Context-Free Languages, McGraw Hill, New York, 1966. [MR: 211815] [Zbl: 0184.28401] [Google Scholar]
  9. S. GINSBURG and E. H. SPANIER, AFL with the Semilinear Property, J of Comput. and System Sciences, Vol. 5, 1971, pp. 365-396. [MR: 339558] [Zbl: 0235.68029] [Google Scholar]
  10. M. HARRISON, Introduction to Formal Langage Theory, Addison-Wesley, Reading, 1978. [MR: 526397] [Zbl: 0411.68058] [Google Scholar]
  11. E. KINBER, The Inclusion Problem for Some Classes of Deterministic Multitape Automata, Theoret. Comput. Sci., Vol. 26, 1983, pp. 1-24. [MR: 726910] [Zbl: 0523.68047] [Google Scholar]
  12. M. LATTEAUX, Intersections de languages algébriques bornés Acta Informatica, Vol., 11, 1979, pp. 233-240. [MR: 525751] [Zbl: 0416.68064] [Google Scholar]
  13. H. R. LEWIS, A New Decidability Problem with Applications, Proceedings of 18th FOCS Conference, 1979, pp. 62-73. [MR: 488960] [Google Scholar]
  14. M. RABIN and D. SCOTT, Finite Automata and their Decision Problems, I.B.M. J. Res. Develop., Vol. 3, 1959, pp. 114-125. [MR: 103795] [Zbl: 0158.25404] [Google Scholar]
  15. G. ROZENBERG and A. SALOMAA, The Mathematical Theory of L Systems, Academic Press, New York, 1980. [MR: 561711] [Zbl: 0508.68031] [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.