Translated Cyclers (TCs)

Mar 2022 · Tristan Stérin

Featured Links

Github	https://github.com/bbchallenge/bbchallenge-deciders/tree/main/decider-translated-cyclers
Chat about it	https://discord.com/channels/960643023006490684/1028753852238925834
Forum Link	https://discuss.bbchallenge.org/t/decider-translated-cyclers/34
Wiki Link	https://wiki.bbchallenge.org/wiki/Translated_Cycler
Write-up (Section 3)	https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf

Description

Although independently re-found, deciding these types of machines was already present in the literature (Lin's recurrence: Lin, Shen; Radó, Tibor (April 1965). "Computer Studies of Turing Machine Problems". Journal of the ACM. 12 (2): 196–212. https://doi.org/10.1145/321264.321270)