T* is a recursive definition, a subset of the family of ternary strings. Let T* be the smallest set such that:
BASIS: 0 is in T*
INDUCTION STEP: If x,y in T*, then so are x0y, 1x2 and 2 x1.
a) Prove that if k in N, then there is no string in T* with exactly 3^k +1 zeros.
b) Prove that if...