HDTOL matching of computations of multitape automata

This publication has 8 references indexed in Scilit:

• The equivalence of finite valued transducers (on HDT0L languages) is decidable
  Theoretical Computer Science, 1986
• The inclusion problem for some classes of deterministic multitape automata
  Theoretical Computer Science, 1983
• Transductions and Context-Free Languages
  Published by Springer Nature ,1979
• On the decidability of homomorphism equivalence for languages
  Journal of Computer and System Sciences, 1978
• A new decidable problem, with applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• The equivalence problem for deterministic finite-turn pushdown automata
  Information and Control, 1974
• The equivalence problem for deterministic two-tape automata
  Journal of Computer and System Sciences, 1973
• Finite Automata and Their Decision Problems
  IBM Journal of Research and Development, 1959