A database uses record identifiers that are alphanumeric strings in which the decimal digits and upper-case letters are valid symbols. The criteria that define a valid record identifier are recursive. A valid record identifier of length can be constructed in the following ways:
- beginning with any upper-case letter other than and followed by any valid record identifier of length ;
- beginning with , , or and followed by any valid record identifier of length ; or
- beginning with and followed by any string of decimal digits.
Let denote the number of valid record identifiers of length . We take and note that . Find a recursion for when and use it to compute .
Keller & Trotter, Applied Combinatorics, Induction — Exercises, Exercise 1