About the Heuristics category

Here we discuss heuristics that allow to informally decide or categorize machines.

While we require deciders to be provably correct, heuristics do not need to. They are useful to help us see clearer in the jungle of 5-state Turing machines.