Strings

• How Do You Recursively Define a Set of Strings?
  A recursive definition of strings needs an alphabet, base cases, construction rules, and a minimality clause; see a worked example.