Regular expressions involve the symbols from _ plus several auxiliary symbols, and are defined inductively.
Basis case(s): (a) _ is a regular expression (b) _ is a regular expression (c) each _ ____ is a regular expression
Inductive case(s): If _ and _ are regular expressions, then so are: (a) (_ + _) (b) (_ • _) (c) (_ *)
| Previous slide | Next slide | Back to first slide | View graphic version |