Operations on Automata

• accessible
• ambiguous_word
• coaccessible
• complement
• complete
• costandard
• determinize
• filter
• has_twins_property
• is_ambiguous
• is_complete
• is_cycle_ambiguous
• is_deterministic
• is_equivalent
• is_isomorphic
• is_functional
• is_standard
• pair
• proper (aka "remove ε-transitions")
• reduce
• standard (aka, "standardize")
• synchronizing_word
• transpose (aka "reverse")
• trim

Operations on Contexts

• cerny

Operations on Expressions

• derivation
• derived_term (aka "Antimirov automaton")
• expansion
• is_equivalent
• is_valid
• standard (aka "Position automaton", or "Glushkov automaton")
• thompson
• transpose (aka "reverse")
• transposition