共 2 条
[1]
Bird M.(1973)The equivalence problem for deterministic two-tape automata J. Comp. Syst. Sci. 7 218-236
[2]
Lisovik L. P.(1997)Nondeterministic systems and finite substitutions on regular language Bull. EATCS, No. 63 156-160