Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Distinguishability of a semi-group by a machine

Authors: Seymour Ginsburg and E. H. Spanier
Journal: Proc. Amer. Math. Soc. 12 (1961), 661-668
MSC: Primary 20.92
MathSciNet review: 0177048
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

    S. Ginsburg, Some remarks on abstract machines, Trans. Amer. Math. Soc. vol. 96 (1960) pp. 400-444. ---, Examples of abstract machines, TM 517, System Development Corp.
  • Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
  • A. Markov, The impossibility of algorithms for the recognition of certain properties of associative systems, Doklady Akad. Nauk SSSR (N.S.) 77 (1951), 953–956 (Russian). MR 0041802
  • Edward F. Moore, Gedanken-experiments on sequential machines, Automata studies, Annals of mathematics studies, no. 34, Princeton University Press, Princeton, N. J., 1956, pp. 129–153. MR 0078059
  • Michael O. Rabin, Recursive unsolvability of group theoretic problems, Ann. of Math. (2) 67 (1958), 172–194. MR 110743, DOI

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 20.92

Retrieve articles in all journals with MSC: 20.92

Additional Information

Article copyright: © Copyright 1961 American Mathematical Society