The equivalence problem of multitape finite automata
- 31 January 1991
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 78 (2) , 347-355
- https://doi.org/10.1016/0304-3975(91)90356-7
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- HDTOL matching of computations of multitape automataActa Informatica, 1989
- The inclusion problem for some classes of deterministic multitape automataTheoretical Computer Science, 1983
- The equivalence problem for deterministic finite-turn pushdown automataInformation and Control, 1974
- The equivalence problem for deterministic two-tape automataJournal of Computer and System Sciences, 1973
- On sentential forms of context-free grammarsActa Informatica, 1973
- The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machinesJournal of the ACM, 1968
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959
- On ordered division ringsTransactions of the American Mathematical Society, 1949