Library
Module
Module type
Parameter
Class
Class type
Representation of NFAs and implementation of standard operations
val get_alphabet : nfa -> string list
get_alphabet n
val create :
'a list ->
string list ->
('a * string * 'a) list ->
'a ->
'a list ->
nfa
create q al t s f
val prune : nfa -> unit
prune n
mutates DFA n
by removing unreachable states
val is_empty : nfa -> bool
is_empty n
val is_accepted : nfa -> string -> bool
is_accepted n s
val get_accepted : nfa -> string option
get_accepted n
merge_alphabets n1 n2
mutates NFAs n1
and n2
such that they share a common alphabet
val print : nfa -> unit
print n
prints a string representation of the NFA n
val export_graphviz : nfa -> string
export_graphviz n