论文信息 - Distinguishability of a semi-group by a machine - 字舞流文

Distinguishability of a semi-group by a machine

Seymour Ginsburg | Edwin H. Spanier | S. Ginsburg | E. Spanier

[1] Edward F. Moore,et al. Gedanken-Experiments on Sequential Machines , 1956 .

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

[3] Seymour Ginsburg,et al. Some remarks on abstract machines , 1958, ACM '58.

[4] Seymour Ginsburg,et al. Examples of Abstract Machines , 1962, IRE Trans. Electron. Comput..

[5] Michael O. Rabin,et al. Recursive Unsolvability of Group Theoretic Problems , 1958 .