Finite automata and their decision problems
IBM Journal of Research and Development
The Equivalence Problem of Finite Substitutions on ab*c, with Applications
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
On the equivalence-checking problem for a model of programs related with multi-tape automata
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Hi-index | 0.00 |
A decision procedure is described for equivalence of deterministic two-tape (one-way) automata.