User:Autumn-Pan/Head-Position-Reachability

From BusyBeaverWiki

< User:Autumn-Pan

Jump to navigation Jump to search

Head-Position Reachability is a variant of backwards reasoning that seeks to decide nonhalting Turing machines.

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:Autumn-Pan/Head-Position-Reachability&oldid=6072"