polcott wrote:Not at all. The code that I wrote is very clearly written in C.
The example code originates from Turning Machine math.
If you want to prove something OUTSIDE of the Turing Machine then you must formally define the context then provide the proof from that.
Nothing you have posted here comes even close to be a formal proof.
And I am certainly not going to review anything you have posted elsewhere.