Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops

DOI10.1006/INCO.1996.0068zbMATH Open0856.68063OpenAlexW2079914726MaRDI QIDQ1923109

Marc Changizi

Publication date: 3 February 1997

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0068

zbMATH Keywords

recursive functions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

Unnamed Item

Recommendations

• Self-reference and incompleteness in a non-monotonic setting 👍 👎
• A Note on Monitors and Büchi Automata 👍 👎
• A Theory of Monitors 👍 👎
• Self-replicating loops: a survey 👍 👎
• On the consistency of self-referential systems 👍 👎
• SELF-SPECIFYING MACHINES 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops