REGLO (V2)

Reglo compiles regular expressions into programs that recognize (accept) the corresponding regular languages. Regular expressions are expressed in the ad hoc reglo source language. Generated programs are intrinsically synchronous circuits, made of logical gates and registers. Concretely, they are expressed in the synchronous dataflow language Lustre. This is the second version of the language and tool, re-implemented in ocaml.

• Reglo source language
  • Lexical aspects
  • History declaration
  • Monomials
  • Expressions
  • Call of a regular expression
    • Definition order
    • Default parameters
    • Actual parameters
    • Call semantics
• Use of the compiler
  • Simple mode
  • Modular mode
  • Options
    • -v (verbose)
    • -o <file-name> (output file)
    • -os (stdout)
    • -m (modular compilation)
    • -eqs (language equations)
  • Errors
• Examples
  • Temporal logic
• Annexe : syntax

This document was translated from L^AT_EX by H^EV^EA.