Wrote state transition rules for unary and binary arithmetic. Not implemented yet.