The equivalence problem for deterministi
β
Malcolm Bird
π
Article
π
1973
π
Elsevier Science
π
English
β 715 KB
A decision procedure is described for equivalence of deterministic two-tape (oneway) automata. ## l. INTRODUCTION The notion of an n-tape (one-way, deterministic) automaton was introduced by Rabin and Scott [2]. Although the properties of these devices have been studied extensively, no answer has