A Variant to Turing's Theory of Computing Machines
Journal of the ACM (JACM)
On the Length of Programs for Computing Finite Binary Sequences
Journal of the ACM (JACM)
Information-Theoretic Limitations of Formal Systems
Journal of the ACM (JACM)
Hi-index | 0.00 |
A hybrid cellular-kinematic automaton is exhibited which can inspect itself and so obtain a complete description of its own structure; the description can be contained in a proper part of the automaton and made available to the automaton for its own perusal and use in self-simulation, self-reproduction, and self-repair and regulation.