The Logic of Automata

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The Logic of Automata—Part I

Full text

Pdf (1.83 MB)

Source

Journal of the ACM (JACM) archive
Volume 4 , Issue 2 (April 1957) table of contents

Pages: 193 - 218

Year of Publication: 1957

ISSN:0004-5411

Authors

Arthur W. Burks	University of Michigan, Ann Arbor, Mich.
Hao Wang	University of Michigan, Ann Arbor, Mich.

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 66, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/320868.320880 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BURKS, ARTHUR W., AND JESSE B. WRIGHT, Theory of Logical Nets, Proc. IRE, M: 1357-1365 (1953).
	2	Bt'RES, ARTHtrR W., AND IRVING M. COeL The Logical Design of an Idealized General- Purpose Computer, J. Franklin Inst., 261:299-314 and 421-436 (1956).
	3	SHANNO.X, CLAVDE, Computers and Automata, Proc. IRE, $I: 12,34-1241 (1953).
	4	ROCHESTER, N., J. H. HOLLAND, L. H. HAIBT, AND W. L. DUDA, Tests on a Cell Assembly Theory of the Action of the Brain, Using a Large Digital Computer, IRE Trans. on Information Theory, 1956, pp. 80--93.
	5	TURXNG, A. M., On Computable Numbers, with an Application to the Entscheidungsproblem, Proe. London Math. Sac. (Series 2),/e,~: .230--265 (1936-37), with a correction, ibid., 45:544-546 (1937).
	6	KLEENE, S. C., Introduction to Metamathemalics. New York: D. Van Nostrand Company, Inc., 1952.
	7	Hao Wang, A Variant to Turing's Theory of Computing Machines, Journal of the ACM (JACM), v.4 n.1, p.63-92, Jan. 1957 [doi>10.1145/320856.320867]
	8	WANG, HAO, Universal Turing Machines: An Exercise in Coding (to be published).
	9	YON NEtr~XN, JOHN, The General and Logical Theory of Automata, pp. 1-41 in Cerebral Mechanisms in Behavior, John Wiley and Sons, 1951.
	10	KEMEXY, JOHN G., Man Viewed as a Machine, Scientific American, 19~: 58-67 (1955).
	11	KLEEXE, S. C., Representation of Events in Nerve Nets and Finite Automata, pp. 3--41 in Automata Studies, edited by C. E. Shannon and J. McCarthy, Princeton Univ. Press, 1956.
	12	CrL,~XNOX CLAUDE, A symbolic analysis of relay and switching circuits, Trans. AIEE, 57:713-723 (1938).
	13	BURKS, ARTHUR W., ROBERT McNAUGHTON, CARL H. POLLMAR, DON W. WARREN AND JESSE B. WRIGHT, Complete Decoding Nets: General Theory and Minimality, J. Soc. Ind. Appl. Math., ~: 291-243 (1954).
	14	DE TURK, J. E., A. L. GARNER, J. KAUTMAN, A. W. BETHEL, AND R. E. HOCK. Basic Circuitry of the MIDAC and MIDSAC. Ann Arbor: Univ. of Mich. Press, 1954.
	15	Buccz, D. A., The Cryotron--A Superconductive Computer Component, Proc. IRE, 4-4:482-493 (1956).
	16	MooRE, EDWARD F., Gedanken-Experiments on Sequential Machines, pp. 129-153 in Automata Studies, edited by C. E. Shannon and J. McCarthy, Princeton Univ. Press, 1956.
	17	HILBERT, D., AND P. BERNAYS. Grundlagen der Mathematik. Vol. I. Berlin: Springer, 1934.

CITED BY 5

	R. J. Nelson, Invited papers—1: basic concepts of automata theory, Proceedings of the 1965 20th national conference, p.138-161, August 24-26, 1965, Cleveland, Ohio, United States
	Roy E. Heistand, An executive system implemented as a finite-state automaton, Communications of the ACM, v.7 n.11, p.669-677, Nov. 1964
	M. Ross Quillian, Simulation of human understanding of language, Communications of the ACM, v.4 n.9, p.406, Sept. 1961
	Robert S. Barton, Functional design of computers, Communications of the ACM, v.4 n.9, p.405, Sept. 1961
	Richard Laing, Automata theory, Communications of the ACM, v.4 n.9, p.406, Sept. 1961