Addition By One

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