Skip to content

Commit

Permalink
Update dfa.py
Browse files Browse the repository at this point in the history
  • Loading branch information
eliotwrobson committed Nov 7, 2023
1 parent b2264fc commit 8373aac
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions automata/fa/dfa.py
Original file line number Diff line number Diff line change
Expand Up @@ -499,6 +499,8 @@ def _minify(
If the input DFA is partial, then the result is also a partial DFA
"""

reachable_states = set(reachable_states)

# Per input-symbol backmap (tgt -> origin states)
transition_back_map: Dict[str, Dict[DFAStateT, List[DFAStateT]]] = {
symbol: {end_state: [] for end_state in reachable_states}
Expand Down

0 comments on commit 8373aac

Please sign in to comment.