DECIDABILITY OF THE MULTIPLICITY EQUIVALENCE OF MULTITAPE FINITE AUTOMATA

: HARJU T, KARHUMAKI J

: Ortiz, H

: 1990

: Proc. 22nd ACM Symp. on Theory of Comput.

PROCEEDINGS OF THE TWENTY SECOND ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING

: 477

: 481

: 5

: 978-0-89791-361-4

DOI: https://doi.org/10.1145/100216.100281