DFA === .. automodule:: PySimpleAutomata.DFA :members: :undoc-members: :show-inheritance: .. rubric:: List .. autosummary:: 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 .. rubric:: Functions