Modules

• DFA
  • dfa_co_reachable()
  • dfa_complementation()
  • dfa_completion()
  • dfa_intersection()
  • dfa_minimization()
  • dfa_nonemptiness_check()
  • dfa_projection()
  • dfa_reachable()
  • dfa_trimming()
  • dfa_union()
  • dfa_word_acceptance()
  • rename_dfa_states()
• NFA
  • nfa_complementation()
  • nfa_determinization()
  • nfa_interestingness_check()
  • nfa_intersection()
  • nfa_nonemptiness_check()
  • nfa_nonuniversality_check()
  • nfa_union()
  • nfa_word_acceptance()
  • rename_nfa_states()
• AFW
  • afw_complementation()
  • afw_completion()
  • afw_intersection()
  • afw_nonemptiness_check()
  • afw_nonuniversality_check()
  • afw_to_nfa_conversion()
  • afw_union()
  • afw_word_acceptance()
  • formula_dual()
  • nfa_to_afw_conversion()
  • rename_afw_states()
• automata_IO
• Unit testing
  • Tests DFA
  • Tests NFA
  • Tests AFW
  • Tests automata_IO