REGLO (V2)

Pascal RAYMOND

2000/2019

This document is also available in PDF format.

Reglo compiles regular expressions into programs that recognize (accept) the corresponding regular languages. It is based on the algorithm originaly defined in [2]. 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. i


This document was translated from LATEX by HEVEA.