论文信息 - A Basis Theorem for a Class of Two-Way Automata - 字舞流文

A Basis Theorem for a Class of Two-Way Automata

D. L. Kreider | R. W. Ritchie

[1] W. Ackermann. Zum Hilbertschen Aufbau der reellen Zahlen , 1928 .

[2] D. L. Kreider,et al. A universal two-way automaton , 1966 .

[3] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[4] R. Smullyan. Theory of formal systems , 1962 .

[5] Raymond M. Smullyan,et al. Theory of Formal Systems. (AM-47) , 1961 .

[6] John C. Shepherdson,et al. The Reduction of Two-Way Automata to One-Way Automata , 1959, IBM J. Res. Dev..

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