Library
Module
Module type
Parameter
Class
Class type
Representation of DFAs and implementation of standard operations
val get_alphabet : dfa -> string list
get_alphabet m
val create :
'a list ->
string list ->
('a * string * 'a) list ->
'a ->
'a list ->
dfa
create q al t s f
val prune : dfa -> unit
prune m
mutates DFA inplace m
by removing unreachable states
val is_empty : dfa -> bool
is_empty m
val is_accepted : dfa -> string -> bool
is_accepted m s
val get_accepted : dfa -> string option
get_accepted m
val myhill_min : dfa -> unit
myhill_min m
minimises DFA m
inplace, by Myhill-Nerode theorem
val hopcroft_min : dfa -> unit
hopcroft_min m
minimises DFA m
inplace, by Hopcroft's algorithm
val minimise : dfa -> unit
minimise m
synonym for hopcroft_min m
val print : dfa -> unit
print m
prints a string representation of the DFA m
val export_graphviz : dfa -> string
export_graphviz m