Up  Next

Functor Automaton.Regexp

module Regexp: 
functor (X : Alphabet.T) -> sig .. end

Regular expressions.

Parameters:
X : Alphabet.T 
type t =
| Letter of X.t
| Union of t * t
| Empty
| Concat of t * t (*

concatenation

*)
| Singl (*

empty word singleton

*)
| Star of t 
val letter : X.t -> t
val union : t -> t -> t
val empty : t
val concat : t -> t -> t
val star : t -> t
val unions : t list -> t
val to_string : t -> string
val simpl : t -> t
val simpl : t -> t
module Series: Series.Make(Field.Int)
val series : t -> Series.t

Generating series of a regular expression. This expression is assumed to be unambiguous.