Loading...
Below is a program that adds one tally to an input tape (which, by the "At Least One Tally" Rule, must contain at least one tally)
q0 1 q0 1 R q0 0 qf 1 R