this is a short “tm a+b” program or “source code” to be compiled by the vzn TM compiler that shows off a few of its features. the 1st version was built around ~2003. it verifies the commutative law of addition for naturals. by multiple nested loops it enumerates all pairs in lexocographical order and verifies that . it halts if they are found to be not equal. capitalized lines are program branching labels. the computation is in binary. addition of two binary numbers is not directly supported. the language has INCrement and DECrement commands that work in binary.
this is the compiled TM output of the “tm a+b” program ie the “object code” with 122 states. it outputs explanatory/descriptive labels that show the “substate” in a sequence of states associated with a particular command.
this is a run with dmode=1 where the TM outputs its own info (ie internal variables & state) with “print” commands. here it is outputting at the outer loop the current pair followed by the TM ID step # and ID (instantaneous description), eventually reaching pair at the end at step .