module Monoid: sig .. end
Monoides
type ('a, 'b) monoid = ('a Automate.mot * 'b array) list * ('a Automate.mot * 'a Automate.mot) list
Type des monoides dont les éléments sont des mots sur un alphabet de type 'a,
consitués d'une liste d'éléments et d'une liste de règles de réécriture.
val mot_to_string : ('a -> string) -> 'a Automate.mot -> string
Impression d'un mot, étant donnée un fonction d'impression des
lettres.
val list_to_string : ('a -> string) -> 'a list -> string
val table_to_string : ('b -> string) -> 'b array -> string
Impression d'un tableau de liste, étant donnée un fonction
d'impression des éléments de base.
val lang_to_string : ('a -> string) -> 'a Automate.mot list -> string
Impression d'une liste de mots, étant donnée un fonction d'impression des
lettres.
val pos_to_string : ('a -> string) -> ('a * int) option -> string
Impression d'une position.
val (-|) : 'a -> ('a list * 'b) list -> (('a list * 'b) list, 'b) Tools.case
Résidu d'une liste de règles de réécriture par une lettre, lue par à
gauche des membres de gauche.
val beta : ('a list * 'a list) list -> 'a Automate.mot -> 'a Automate.mot
Une étape de réduction d'un mot par rapport à un ensemble de règles de
réécriture.
module Compute:
Calculs divers.