All machines that satisfy a test of whether they can do yes-no, store the result...

phist_mcgee on Dec 5, 2021 | parent | context | favorite | on: “Coding is basically just ifs and for loops.”

All machines that satisfy a test of whether they can do yes-no, store the result of that yes-no, and then go to another yes-no are verifiably considered yes-no machines, that is, they are yes-no complete.