REAL (Regular Expression Analyzer) is a prototype tool for checking the determinism of regular expressions. Techniques may be used to assist writing deterministic expressions in designing XML Schema and so on.

The main functionalities:
  • Check the determinism of the expressions.
  • Locate and give diagnostic information of non-determinism.
  • Give counter-example.
  • Give more detailed information for analysis, such as syntax tree , first set and so on.
  • Auto-generate a deterministic expression when the non-deterministic expression denotes a deterministic language.

Developed with MFC
Tested on Windows XP and Windows 7