A Tale of Two Turing Machines
Two Turing Machines may be able to answer questions about each other that they cannot answer about themselves.
cs.LO↗
arXiv subjects
Publications and source records attributed to Eric Hehner.
Two Turing Machines may be able to answer questions about each other that they cannot answer about themselves.