CS8813: Class Notes
Notes:
Hints for Proof Methods This page includes a good discussion of how to structure an inductive proof.
regexp.tar C++ Program that evaluates the R_ij^k function.
luke@cs.msstate.edu
Last modified: Tue Sep 28 09:48:59 CDT 2004