home *** CD-ROM | disk | FTP | other *** search
/ Oakland CPM Archive / oakcpm.iso / sigm / vol166 / badd.tng < prev    next >
Encoding:
Text File  |  1984-04-29  |  1.0 KB  |  63 lines
  1.  
  2. [BADD.TNG]
  3. [Turing Machine which sums binary numbers]
  4.  
  5. [[
  6. This Turing Machine will sum two binary numbers.
  7. Its initial tape should have the form =a+b=, with
  8. the head positioned at the right equal sign. For
  9. example,
  10.  
  11.           =111110+011#=
  12.  
  13. Each keystroke will show one step in the Machine`s
  14. operation, until the sum has been completed and the
  15. extra symbols have been erased.
  16. ]]
  17.  
  18.  
  19.  
  20. (Q0,=, ,dig,-)
  21. (dig,0,=,zle,-)
  22. (dig,1,=,ole,-)
  23. (dig,+,+,lef,-)
  24. (zle,0,0,zle,-)
  25. (zle,1,1,zle,-)
  26. (zle,+,+,zad,-)
  27. (ole,0,0,ole,-)
  28. (ole,1,1,ole,-)
  29. (ole,+,+,oad,-)
  30. (zad,a,a,zad,-)
  31. (zad,b,b,zad,-)
  32. (zad,0,a,rig,+)
  33. (zad,1,b,rig,+)
  34. (zad,=,=,rig,+)
  35. (oad,a,a,oad,-)
  36. (oad,b,b,oad,-)
  37. (oad,0,b,rig,+)
  38. (oad,1,a,car,-)
  39. (oad,=,b,new,-)
  40. (car,0,1,rig,+)
  41. (car,1,0,car,-)
  42. (car,=,1,new,-)
  43. (new,.,=,rig,+)
  44. (rig,0,0,rig,+)
  45. (rig,1,1,rig,+)
  46. (rig,a,a,rig,+)
  47. (rig,b,b,rig,+)
  48. (rig,+,+,rig,+)
  49. (rig,=, ,dig,-)
  50. (lef,0,0,lef,-)
  51. (lef,1,1,lef,-)
  52. (lef,a,a,lef,-)
  53. (lef,b,b,lef,-)
  54. (lef,=, ,fin,+)
  55. (fin,0,0,fin,+)
  56. (fin,1,1,fin,+)
  57. (fin,a,0,fin,+)
  58. (fin,b,1,fin,+)
  59. (fin,+, ,fin,+)
  60. (fin,=, ,H,-)
  61.  
  62. [end]
  63.