Regular Definitions

d1 r1

d2 r2

dn rn

....

di is a RE over S U {d1,d2,...,di-1}

letter -> A | B | ... | Z | a | b | ... | z

digit -> 0 | 1 | ... | 9

id -> letter ( letter | digit )*

Example