Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2, edited by Franz L. Alt, Academic Press, New York and London1961, pp. 379–421 [Book Review]

Journal of Symbolic Logic 37 (4):760 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272445

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Robert McNaughton, The Theory of Automata, a Survey. [REVIEW]S. Huzino - 1972 - Journal of Symbolic Logic 37 (4):760-760.
The Theory of Automata, a Survey.Robert Mcnaughton - 1972 - Journal of Symbolic Logic 37 (4):760-760.
Lauri Karttunen and Stanley Peters. Conventional implicature. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 1–56. - Gerald Gazdar. A solution to the projection problem. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 57–89. - Janet Dean Fodor. In defense of the truth value gap. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 199–224. - Ruth M. Kempson. Presupposition, opacity, and ambiguity. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 283–297. - S. K. Thomason. Truth-value gaps, many truth values, and possible worlds. Syntax and semantics, Volume 11, P. [REVIEW]Tyler Burge - 1981 - Journal of Symbolic Logic 46 (2):412-415.
Norman R. Scott. Introduction to switching algebra. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 1–13. - W. J. Cadden. Binary numbers, codes, and translators. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 15–30. - J. P. Runyon. Formulation of switching problems. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 31–45. - E. J. Tanana. The map method. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 47–65. - E. J. MccluskeyJr., Minimization theory. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 67–88. - T. C. Bartee. Design using computers. A survey of switching circuit theory, edit. [REVIEW]Albert Mullin - 1962 - Journal of Symbolic Logic 27 (2):251-252.
M. P. Schützenberger. On the definition of a family of automata. Information and control, vol. 4 (1961), pp. 245–270. - M. P. Schützenberger. Finite counting automata.Information and control, vol. 5 (1962), pp. 91–107. - M. P. Schützenberger. Certain elementary families of automata. Proceedings of the Symposium of Mathematical Theory of Automata, New York, N.Y., Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, New York1963, pp. 139–153. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
Review: N. E. Kobrinskii, B. A. Trakhtenbrot, Introduction to the Theory of Finite Automata. [REVIEW]Robert McNaughton - 1968 - Journal of Symbolic Logic 33 (3):466-466.
Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory, edited by E. R. Caianiello, Academic Press, New York and London1966, pp. 35–65. Reprinted in Pubblicazioni dell'Istituto Nazionale per le Applicazioni del Calcolo, ser. 11 no. 669, Rome 1966. - C. Böhm. The CUCH as a formal and description language. Formal language description languages for computer programming, Proceedings of the IFIP Working Conference on Formal Language Description Languages, edited by T. B. SteelJr., North-Holland Publishing Company, Amsterdam1966, pp. 179–197. [REVIEW]Jonathan P. Seldin - 1975 - Journal of Symbolic Logic 40 (1):81-83.
Kurt Gödel. Collected Works. Volume 1: Publications, 1929–1936. Edited by, Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort. xviii + 474 pp., frontis., illus., bibl., index. 1986. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 2: Publications, 1938–1974. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, Robert M. Solovay, and Jean van Heijenoort. xv + 407 pp., frontis., illus., bibl., index. 1990. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 3: Unpublished Essays and Lectures. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, and Robert M. Solovay. xx + 532 pp., frontis., illus., bibl., index. 1995. Oxford/New York: Oxford University Press, 2001. $39.95. [REVIEW]Louise Golland - 2002 - Isis 93 (3):517-518.
Andrew Hodges. Alan Turing and the Turing machine. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 3–15. - Stephen C. Kleene. Turing's analysis of computahility, and major applications of it. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 17–54. - Robin Gandy. The confluence of ideas in 1936. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 55–111. - Solomon Feferman. Turing in the land of O. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 113–147. - Martin Davis. Mathematica. [REVIEW]John N. Crossley - 1991 - Journal of Symbolic Logic 56 (3):1089-1090.
Review: R. J. Nelson, Introduction to Automata. [REVIEW]Robert McNaughton - 1971 - Journal of Symbolic Logic 36 (1):151-152.
Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 212, 214. , p. 260.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 213, 215. - Solomon Feferman. Introductory note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York a. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
Up‐date on interferon. Interferon 1983, volume 5. Edited by I. GRESSER. Academic Press, 1984. Pp. 239. £13.50, $22.00. [REVIEW]Robert K. Oldham - 1985 - Bioessays 3 (6):279-280.
Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls . A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 300, 302. - Kurt Gödel. An interpretation of the intuitionistic propositional calculus . English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 301, 303. - A. S. Troelstra. Introductory note to 1933f. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Je. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
Review: B. A. Trakhtenbrot, Ya. M. Barzdin, Finite Automata. Behavior and Synthesis. [REVIEW]Robert McNaughton - 1977 - Journal of Symbolic Logic 42 (1):111-112.

Analytics

Added to PP
2016-06-30

Downloads
22 (#690,757)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references