Module `Automata`

module Char : sig ... end

Characters: strings used as atomic alphabet symbols.

module WFA : sig ... end

Weighted finite automaton (WFA) parameterized over a semiring.

module Word : sig ... end

Words over the character alphabet.