论文信息 - Sets recognized by n-tape automata - 字舞流文

Sets recognized by n-tape automata

C. C. Elgot | J. Shepherdson | S. Eilenberg

[1] Dana S. Scott,et al. Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..

[2] Calvin C. Elgot,et al. QUANTIFIER ELIMINATION IN A PROBLEM OF LOGICAL DESIGN , 1959 .

[3] Jorge E. Mezei,et al. On Relations Defined by Generalized Finite Automata , 1965, IBM J. Res. Dev..