Given the same input, i. e., a sequence of characters starting with∧and ending with #, and any combination of 0s and 1s in-between, specify a set of rewrite rules that determine whether the string contains the same number of 0s and 1s. Here is some sample "output": $0011# should be rewritten as $#

$1001 # should be rewritten as $#

$110110# should be rewritten as $11

$000 1 1 00 should be rewritten as $000#

In other words, the $# indicates that the input string has the same number of Os and 1s. If the string does not contain the same number of 0s and 1s, the resulting string shows how many more Os or 1s there are in the input string.