The equivalence problem for deterministic two-tape automata
作者：
Highlights：
•
摘要
A decision procedure is described for equivalence of deterministic two-tape (one-way) automata.
论文关键词：
论文评审过程：Received 11 July 1972, Available online 27 December 2007.
论文官网地址：https://doi.org/10.1016/S0022-0000(73)80045-5
