RegMod
functor
signature REGMOD
functor RegMod
( ... ) : REGMOD
This functor generates models of (regular or) Kleenean algebra, i.e. an interpretation of regular expressions (with free variables) in a given Kleenean algebra. This algebra has to come with a fixed interpretation of constants.
structure K : KA
eqtype alph
val envAtom : alph -> K.t
structure K : KA
eqtype alph
envAtom a
structure K : KA
structure Exp : REGEXP
datatype re = datatype Exp.re
eqtype alph
type exp = alph re
type t = K.t
val eval : (int -> t) -> exp -> t
datatype re = datatype Exp.re
eqtype alph
type exp = alph re
type t = K.t
eval env e
REGEXP, Reg
The name RegMod may change. Here it means ``model of regular algebra'', but we may reserve it for ``module over a regular algebra'' (which is useful for linear languages).