Halting Segment (HS)

Jul 2022 · Iijil

Featured Links

Github	https://github.com/Iijil1/Iijils-bb-challenge/blob/main/halting-segment/main.go
Chat about it	https://discord.com/channels/960643023006490684/1028745685501214740
Forum Link	https://discuss.bbchallenge.org/t/decider-halting-segment/75
Write-up (Section 5)	https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf

Description

Inspired by [Newcomb and Greenleaf's proof](https://turbotm.de/~heiner/BB/TM4-proof.txt) of [Marxen and Buntrock's chaotic machine](https://bbchallenge.org/76708232).