- a+b=b+a
- 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.
- tmc tm compiler/ruby
- this is the ruby code “tmc” to compile the TM. it was tested in ruby v1.9.3-p286. caveat: “quick and dirty”
- tm a+b object code
- 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.
- TM simulator/ruby
- TM simulator that takes the object code and runs the program. input state starts with the empty tape. underlines signify blank squares.
- a+b TM run
dmode=1 steps=100000
- 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 . - a+b TM run
dmode=0 steps=5000
- a run with
dmode=0
where verbose debugging info on exact TM ID and state descriptions is output. reaches and is interrupted at pair - a+b TM run
dmode=2 steps=5000
-
dmode=2
is similar todmode=0
except with no interspersed description lines, just the “straight” TM ID tableau.
I’m very interested in this work! I’m doing similar things to this for my thesis. If you were interested in speaking to me, I can be reached at adamyedidia@gmail.com.
thx for the interest! impressive resume! like to hang out on cstheory chat, drop by whenever you have a chance 🙂