Main Documentation for grammar RegExp.grm


Description

This is a grammar for defining regular expressions and simplifying them. It implements an interactive regular expression parser and normalizer. One enters a regular expression, or a definition associating a regular expression to an indentifier, and it is parsed and, if syntactically correct, it is normalized and its normal form is printed back.

[See also the grammar source files]

Author:
Hassan Aït-Kaci
Copyright:
© by the author
Version:
Last modified on Thu Oct 18 17:33:44 2012 by hak


Copyright © 2012 by Hassan Aït-Kaci; All Rights Reserved.