Elemental universality of sets of logic devices

IEICE Transactions on Information and Systems

Volumn E81-D, Issue 8, 1998, Pages 767-772

  Inagaki, Kosaku ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

Completeness of sets of logic devices; Complex system; Computational universality; Delayed logic; Elemental universality

Indexed keywords

COMBINATORIAL CIRCUITS; DELAY CIRCUITS; LOGIC DESIGN; SEQUENTIAL CIRCUITS;

COMPUTATIONAL UNIVERSALITY; ELEMENTAL UNIVERSALITY;

LOGIC DEVICES;

EID: 0032137449     PISSN: 09168532     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. E.L. Post, "The two-valued iterative systems of mathematical logic," Annals of Mathematics Studies, no.5, Princeton University Press, 1941.
2. K. Ibuki, K. Naemura, and A. Nozaki, "The general theory of complete sets of logical functions," Proc. IECE, vol.46, no.7, pp.934-940, July 1963.
3. H.H. Loomis, Jr. "Completeness of sets of delayed-logic devices," IEEE Trans. Electron. Comput. vol.EC-14, no.2, pp.157-172, April 1965.
4. V.B. Kudryavcev, "Completeness theorem for a class of automata without feedback couplings" (in Russian), Doklady Akademii Nauk SSSR, vol.132, no.2, pp.272-274, 1960. English translation in Soviet Mathematics-Doklady, vol.1, pp.537-539.
5. K. Ibuki, "Studies on universal sets of logic elements," Electric Communication Laboratory Research Report, NTT, no.3747, March 1968.
6. K. Inagaki and S. Yajima, "Universality of sets of logic elements with unit delay," Reports of Technical Group on Automata and Language Theory, IECE, AL73-66, Jan. 1974.
7. K. Inagaki, "-completeness of sets of delayed logic elements," IECE Trans., vol.63-D, no.10, pp.827-834, Oct. 1980.
8. K. Inagaki, "Weak -completeness of sets of delayed logic elements," IECE Trans., vol.63-D, no.10, pp.835-842, Oct. 1980.
9. A. Nozaki, "Completeness of logical gates based on sequential circuits," IECE Trans., vol.J65-D, no.2, pp.171178, Feb. 1982.
10. H. Sato, A. Nozaki, and G. Pogosyan, "Completeness of logical functions realized by asynchronous sequential circuits," J. Information Processing, vol.14, no.2, pp.164-171, July 1991.
11. V.M. Glushkov, "Introduction to cybernetics," Academic Press, 1966.
12. K. Inagaki, "The emergence hypothesis and its study (1)," IPSJ SIG Notes, vol.97, no.41, 97-MPS-13-4, May 1997.
13. S.A. Kauffman, "Metabolic stability and epigenesis in randomly constructed genetic nets," J. Theoretical Biology, vol.22, pp.437-467, 1969.
14. S. Wolfram, "Universality and complexity in cellular automata," Physica D, voI.lOD, pp.1-35, 1984.
15. C.G. Langton, "Life at the edge of chaos," in Artificial Life II, eds. C.G. Langton, et al., pp.41-91, Addison-Wesley, 1992.
16. A. Mukhopadhyay, "Complete sets of logic primitives," in Recent developments in switching theory, ed. A.Mukhopadhyay, pp. 1-26, Academic Press, 1971.
17. A.D. Friedman, "Logical design of digital systems," pp.136-149, Computer Science Press, 1975.
18. I.G. Rosenberg, "Completeness properties of multiplevalued logic algebras," in Computer science and multiplevalued logic, ed. D.C.Rine, pp.144-186, North-Holland, 1977.