Automaton introspection

DOI10.1016/S0022-0000(76)80028-1zbMath0336.94031OpenAlexW2911889321MaRDI QIDQ1229837

Richard Laing

Publication date: 1976

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(76)80028-1

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Turing machines and related notions (03D10)

Related Items (2)

Toward a viable, self-reproducing universal computer ⋮ Anomalies of self-description

Cites Work

• Information-Theoretic Limitations of Formal Systems
• On the Length of Programs for Computing Finite Binary Sequences
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automaton introspection