CS8813: Class 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