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.