New seed: halting of MM2 starting from the fixed state (1,(0,0))#175

Open

DmxLarchey wants to merge 8 commits intouds-psl:coq-8.15from

DmxLarchey:mm2_zero

Commits on Oct 14, 2022

simulating MM2 termination on (a,b) with MM2 termination on (0,0)
DmxLarchey
committed
undecidability of halting for MM2 starting from (1,(0,0))
DmxLarchey
committed

Commits on Oct 20, 2022

adding PCTM_half with half tapes, ie extending only on the right
DmxLarchey
committed
WIP: half tapes
DmxLarchey
committed
implemented the displacement of true↑a leftwards and rightwards using a (uniform) PCTM with half tapes
DmxLarchey
committed

Commits on Oct 21, 2022

Commits on Oct 22, 2022

reduction from MM2_STARTING_FROM_ZERO to PCTM_half starting from the empty/zero/false half-tape
DmxLarchey
committed