Fix transition table memory bug

PurdueDualityLab · Aug 6, 2024 · 5652180 · 5652180
1 parent 7e6be20
commit 5652180
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/main/java/dk/brics/automaton/TransitionTable.java b/src/main/java/dk/brics/automaton/TransitionTable.java
@@ -53,6 +53,12 @@ public TransitionTable(Automaton auto) {
         traversalQueue.add(auto.getInitialState());
         while (!traversalQueue.isEmpty()) {
             State state = traversalQueue.remove();
+
+            // skip states that have already been visited to keep traversal queue from growing unbounded-ly
+            if (visitedStates.contains(state)) {
+                continue;
+            }
+
             if (state.isAccept()) {
                 acceptStates.add(state.number);
             }