The Theory of Automata, a Survey

作者: Robert McNaughton

DOI: 10.1016/S0065-2458(08)60144-8

关键词:

摘要: Publisher Summary The chapter presents a survey, which focuses that part of automaton theory lies outside certain sub-theories—namely, switching theory, the computability, artificial intelligence, and learning machines as well several topics related to statistical aspects machines. These sub-theories are briefly described with some references show how they fit into whole. An is device finite size at any time parts specified inputs outputs, such what happens outputs determined, or least its probability distribution function by has happened inputs. discusses five types automaton—fixed growing; discrete continuous; synchronous non-synchronous; deterministic probabilistic; finite-state infinite-state. Given state value for each input automaton, moment time, output next determined. behavior characterized completely description these transitions from values, presented table graph.

参考文章(70)
C. V. Srinivasan, R. Narasimhan, On the synthesis of finite sequential machines Proceedings of the Indian Academy of Sciences - Section A. ,vol. 50, pp. 68- 82 ,(1959) , 10.1007/BF03047026
Richard Fatehchand, Machine Recognition of Spoken Words Advances in Computers Volume 1. ,vol. 1, pp. 193- 229 ,(1960) , 10.1016/S0065-2458(08)60609-9
Martin Davis, M. D. Davis, A Note on Universal Turing Machines ,(1970)
Arthur L. Samuel, Programming Computers to Play Games Advances in Computers Volume 1. ,vol. 1, pp. 165- 192 ,(1960) , 10.1016/S0065-2458(08)60608-7
Arthur W. Burks, Hao Wang, The logic of automata ,(1956)
Stephen Cole Kleene, Representation of Events in Nerve Nets and Finite Automata Princeton University Press. pp. 3- 42 ,(1951) , 10.1515/9781400882618-002
Yehoshua Bar-Hillel, The Present Status of Automatic Translation of Languages Advances in Computers Volume 1. ,vol. 1, pp. 91- 163 ,(1960) , 10.1016/S0065-2458(08)60607-5
John H. Holland, Iterative circuit computers Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM '60 (Western). pp. 259- 265 ,(1960) , 10.1145/1460361.1460397
Edward F. Moore, Artificial Living Plants Scientific American. ,vol. 195, pp. 118- 126 ,(1956) , 10.1038/SCIENTIFICAMERICAN1056-118