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

References | Similar Articles | Additional Information

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

  • [1] S. Ginsburg, Some remarks on abstract machines, Trans. Amer. Math. Soc. vol. 96 (1960) pp. 400-444.
  • [2] -, Examples of abstract machines, TM 517, System Development Corp.
  • [3] S. Kleene, Introduction to metamathematics, New York, Van Nostrand Co., 1952. MR 0051790 (14:525m)
  • [4] A. Markov, Impossibility of algorithms for recognizing some properties of associative systems, Dokl. Akad. Nauk SSSR vol. 77 (1951) pp. 953-956. MR 0041802 (13:4c)
  • [5] E. F. Moore, Gedanken--experiments on sequential machines, Automata Studies, Annals of Mathematics Studies, No. 34, Princeton University Press, 1956, pp. 129-153. MR 0078059 (17:1140e)
  • [6] M. D. Rabin, Recursive unsolvability of group theoretic problems, Ann. of Math. vol. 67 (1958) pp. 172-194. MR 0110743 (22:1611)

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

American Mathematical Society