Some remarks on abstract machines
HTML articles powered by AMS MathViewer
- by Seymour Ginsburg PDF
- Trans. Amer. Math. Soc. 96 (1960), 400-444 Request permission
References
-
C. Elgot, Decision problems of finite automata design and related arithmetics, Ph.D. Thesis, University of Michigan, June, 1959.
- D. A. Huffman, The synthesis of sequential switching circuits. I, II, J. Franklin Inst. 257 (1954), 161–190, 275–303. MR 62648, DOI 10.1016/0016-0032(54)90574-8
- Seiiti Huzino, On some sequential machines and experiments, Mem. Fac. Sci. Kyushu Univ. Ser. A 12 (1958), 136–158. MR 101177, DOI 10.2206/kyushumfs.12.136
- Seiiti Huzino, Reduction theorems on sequential machines, Mem. Fac. Sci. Kyushu Univ. Ser. A 12 (1958), 159–179. MR 101178, DOI 10.2206/kyushumfs.12.159
- Seiiti Huzino, On the existence of Sheffer stroke class in the sequential machines, Mem. Fac. Sci. Kyushu Univ. Ser. A 13 (1959), 53–68. MR 106183, DOI 10.2206/kyushumfs.13.53 —, Some properties of convolution machines qnd $\sigma$-composite machines, Mem. Fac. Sci. Kyūsyū Univ. Ser. A vol. XIII (1959) pp. 69-83. D. König, Theorie der Endlichen und Unendlichen Graphen, New York, Chelsea, 1950.
- George H. Mealy, A method for synthesizing sequential circuits, Bell System Tech. J. 34 (1955), 1045–1079. MR 73450, DOI 10.1002/j.1538-7305.1955.tb03788.x
- 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
- A. Nerode, Linear automaton transformations, Proc. Amer. Math. Soc. 9 (1958), 541–544. MR 135681, DOI 10.1090/S0002-9939-1958-0135681-9
- George N. Raney, Sequential functions, J. Assoc. Comput. Mach. 5 (1958), 177–180. MR 121273, DOI 10.1145/320924.320930
- M. O. Rabin and D. Scott, Finite automata and their decision problems, IBM J. Res. Develop. 3 (1959), 114–125. MR 103795, DOI 10.1147/rd.32.0114
Additional Information
- © Copyright 1960 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 96 (1960), 400-444
- DOI: https://doi.org/10.1090/S0002-9947-60-99988-8