REGLO

Pascal Raymond

This document is also available in Post-Script.

Reglo is a compiler which translates regular expressions into sequential circuits [3]. Regular expressions are expressed in the reglo source language. Resulting circuit are described in the synchronous dataflow language Lustre [1].

  • Distribution
  • 1 Reglo source language
  • 1.1 Lexical aspects
  • 1.2 History declaration
  • 1.3 Monomials
  • 1.4 Expressions
  • 1.5 Call of a regular expression
  • Definition order
  • Default parameters
  • Actual parameters
  • Call semantics
  • 2 Use of the compiler
  • 2.1 Simple mode
  • 2.2 Modular mode
  • 2.3 Options
  • -v (verbose)
  • -o <file-name> (output file)
  • -os (stdout)
  • -m (modular compilation)
  • -eqs (language equations)
  • 2.4 Errors
  • 3 Examples
  • 3.1 Temporal logic
  • Annexe : syntax
  • References
    • Pascal.Raymond@imag.fr
    April 19, 2000
    This html document was produced using Hyperlatex