From e2687635cb4115ec7d29417fc670a159bb60f318 Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Wed, 10 Jan 2024 20:46:35 +0100
Subject: [PATCH] documentation. cleanup. your turn daniel

---
 .idea/workspace.xml                           |  40 ++--
 .../NFAImpl.java                              | 184 ++++++++++--------
 .../ab1/tests/GRUPPE/betterSimpleTests.java   |   3 +-
 .../ab1/Transition$TransitionBuilder.class    | Bin 1673 -> 1673 bytes
 target/classes/ab1/Transition.class           | Bin 1866 -> 1866 bytes
 .../ab1/impl/GRUPPE/NFAFactoryImpl.class      | Bin 570 -> 0 bytes
 target/test-classes/ab1/NFAProvider.class     | Bin 391 -> 422 bytes
 .../ab1/tests/FinalizeTests.class             | Bin 4084 -> 4084 bytes
 8 files changed, 129 insertions(+), 98 deletions(-)
 rename src/main/java/ab1/impl/{GRUPPE => gruppe10_aigensberger_dworski_walcher}/NFAImpl.java (84%)
 delete mode 100644 target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index a59a0a3..b8993e6 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,23 +4,14 @@
     <option name="autoReloadType" value="SELECTIVE" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="isFinite methode recursiv...">
-      <change afterPath="$PROJECT_DIR$/.idea/uiDesigner.xml" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/AutomatonManager.java" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/DFAConverter.java" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/FiniteAnalysis.java" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/StateManager.java" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/TransitionManager.java" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/WordAcceptor.java" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/test/java/ab1/tests/GRUPPE/betterSimpleTests.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/.idea/misc.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/misc.xml" afterDir="false" />
+    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment=".">
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAFactoryImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/NFAFactoryImpl.java" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/NFAImpl.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/Tuple.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/Tuple.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/test/java/ab1/NFAProvider.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/test/java/ab1/NFAProvider.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/test/java/ab1/tests/myTests.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/test/java/ab1/tests/GRUPPE/myTests.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/target/classes/ab1/Transition$TransitionBuilder.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/Transition$TransitionBuilder.class" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/target/classes/ab1/Transition.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/Transition.class" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class" beforeDir="false" />
+      <change beforePath="$PROJECT_DIR$/target/test-classes/ab1/NFAProvider.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/test-classes/ab1/NFAProvider.class" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/target/test-classes/ab1/tests/FinalizeTests.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/test-classes/ab1/tests/FinalizeTests.class" afterDir="false" />
     </list>
     <list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
     <option name="SHOW_DIALOG" value="false" />
@@ -282,7 +273,23 @@
       <option name="project" value="LOCAL" />
       <updated>1704888180655</updated>
     </task>
-    <option name="localTasksCounter" value="10" />
+    <task id="LOCAL-00010" summary=".">
+      <option name="closed" value="true" />
+      <created>1704914901826</created>
+      <option name="number" value="00010" />
+      <option name="presentableId" value="LOCAL-00010" />
+      <option name="project" value="LOCAL" />
+      <updated>1704914901826</updated>
+    </task>
+    <task id="LOCAL-00011" summary=".">
+      <option name="closed" value="true" />
+      <created>1704914909876</created>
+      <option name="number" value="00011" />
+      <option name="presentableId" value="LOCAL-00011" />
+      <option name="project" value="LOCAL" />
+      <updated>1704914909876</updated>
+    </task>
+    <option name="localTasksCounter" value="12" />
     <servers />
   </component>
   <component name="TypeScriptGeneratedFilesManager">
@@ -307,7 +314,8 @@
     <MESSAGE value="concat GEHT" />
     <MESSAGE value="changed nfaAddTrap, bei dem Fall, dass Transition.readSymbol() einen nullwert zurückgibt. (Thx ChatGBT)&#10;-&gt; intersectionTests funktionieren" />
     <MESSAGE value="isFinite methode recursiv..." />
-    <option name="LAST_COMMIT_MESSAGE" value="isFinite methode recursiv..." />
+    <MESSAGE value="." />
+    <option name="LAST_COMMIT_MESSAGE" value="." />
   </component>
   <component name="XDebuggerManager">
     <breakpoint-manager>
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/NFAImpl.java
similarity index 84%
rename from src/main/java/ab1/impl/GRUPPE/NFAImpl.java
rename to src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/NFAImpl.java
index 15c1b90..08cfa8c 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/gruppe10_aigensberger_dworski_walcher/NFAImpl.java
@@ -1,4 +1,4 @@
-package ab1.impl.GRUPPE;
+package ab1.impl.gruppe10_aigensberger_dworski_walcher;
 
 import ab1.FinalizedStateException;
 import ab1.NFA;
@@ -7,6 +7,9 @@ import ab1.Transition;
 import java.util.*;
 import java.util.concurrent.atomic.AtomicInteger;
 
+/**
+ * Implementation of the NFA interface.
+ */
 public class NFAImpl implements NFA {
     private final Set<String> states;
     private final Set<Transition> transitions;
@@ -39,14 +42,6 @@ public class NFAImpl implements NFA {
         return this.states;
     }
 
-    /*
-    public void safeAddStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {
-        for (String state : states) {
-            nfa.states.add(changeIfNecessary(state, toCheck));
-        }
-    }
-    */
-
     @Override
     public Collection<Transition> getTransitions() {
         return this.transitions;
@@ -66,24 +61,35 @@ public class NFAImpl implements NFA {
         return this.alphabet;
     }
 
+
+    /**
+     * Adds a new transition to the automaton. If the automaton is already finalized, a FinalizedStateException is thrown.
+     * @param transition The transition to add
+     * @throws FinalizedStateException
+     */
     @Override
     public void addTransition(Transition transition) throws FinalizedStateException {
         if (this.isFinalized) {
             throw new FinalizedStateException();
         }
-        if (!states.contains(transition.fromState())) {
-            this.states.add(transition.fromState());
+        if (transition == null || transition.fromState() == null || transition.toState() == null) {
+            throw new IllegalArgumentException();
         }
-        if (!states.contains(transition.toState())) {
-            this.states.add(transition.toState());
+
+        states.add(transition.fromState());
+        states.add(transition.toState());
+
+        if (transition.readSymbol()!=null) {
+            alphabet.add(transition.readSymbol());
         }
-        // add symbol to alphabet. If it is already in the alphabet, nothing happens
-        if (transition.readSymbol() != null) {
-            this.alphabet.add(transition.readSymbol());
-        }
-        this.transitions.add(transition);
+        transitions.add(transition);
     }
 
+    /**
+     * Adds all transitions to the automaton. If the automaton is already finalized, a FinalizedStateException is thrown.
+     * @param transitions The Set of transitions to add
+     * @throws FinalizedStateException
+     */
     public void addAllTransitions(Set<Transition> transitions) throws FinalizedStateException {
         if (this.isFinalized) {
             throw new FinalizedStateException();
@@ -93,49 +99,79 @@ public class NFAImpl implements NFA {
         }
     }
 
+    /**
+     * Adds a new accepting state to the automaton. If the automaton is already finalized, a FinalizedStateException is thrown.
+     * @param state The state to add as accepting state
+     * @throws FinalizedStateException
+     */
     @Override
     public void addAcceptingState(String state) throws FinalizedStateException {
         if (this.isFinalized) {
             throw new FinalizedStateException();
         }
+        if (state == null) {
+            throw new IllegalArgumentException();
+        }
         this.states.add(state);
         this.acceptingStates.add(state);
     }
 
+    /**
+     * Adds all accepting states to the automaton. If the automaton is already finalized, a FinalizedStateException is thrown.
+     * @param states The Set of states to add as accepting states
+     * @throws FinalizedStateException
+     */
     public void addAllAcceptingStates(Set<String> states) throws FinalizedStateException {
         if (this.isFinalized) {
             throw new FinalizedStateException();
         }
+        if (states == null) {
+            throw new IllegalArgumentException();
+        }
         for (String state : states) {
             this.addAcceptingState(state);
         }
     }
 
+    /**
+     * Adds a new state to the automaton. If the automaton is already finalized, a FinalizedStateException is thrown.
+     * If the state already exists, the state is renamed to state1, state11, state111, etc. until a unique name is found.
+     * @param states The Set of states to add
+     * @param toCheck The Set of states to check for duplicates
+     * @param nfa The NFA to add the states to
+     */
     public void safeAddAcceptingStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {
+        if (this.isFinalized) {
+            throw new FinalizedStateException();
+        }
+        if(states == null || toCheck == null || nfa == null){
+            throw new IllegalArgumentException();
+        }
         for (String state : states) {
             nfa.addAcceptingState(changeIfNecessary(state, toCheck));
         }
     }
 
-    // #TODO
-    // write more testcases
+    /**
+     * Creates a new NFA that is the union of this NFA and the other NFA. If either of the NFAs is not finalized, a FinalizedStateException is thrown.
+     * @param other The other NFA to union with
+     * @return The union of this NFA and the other NFA
+     * @throws FinalizedStateException
+     */
     @Override
     public NFA union(NFA other) throws FinalizedStateException {
         if (!this.isFinalized || !other.isFinalized()) {
             throw new FinalizedStateException();
         }
-        // new initialState with epsilon to initialState of this and other.
-        // Problem: what if states are called the same in this and other + what do we use as initialState?
+
         NFAImpl unionNFA = new NFAImpl(this.getInitialState());
 
         unionNFA.states.addAll(this.states);
-
         unionNFA.addAllAcceptingStates(this.acceptingStates);
 
         Set<String> otherAcceptingStates = new HashSet<>(other.getAcceptingStates());
         unionNFA.safeAddAcceptingStates(this.acceptingStates, otherAcceptingStates, unionNFA);
 
-
         Set<Transition> newTransitions = new HashSet<>();
         for (Transition transition : other.getTransitions()) {
             Transition newTransition =
@@ -152,14 +188,9 @@ public class NFAImpl implements NFA {
                     unionNFA.acceptingStates.add(state);
                 }
             } else {
-                // a state of other has the same name as one in this.
-                // change name of state and every Transition it is a part of in other
                 String newState = changeIfNecessary(state, unionNFA.states);
-
-                // wieder a neues set
                 Set<Transition> tempTransitions = new HashSet<>();
 
-                // check each transition of other if start or to state was state
                 for (Transition transition : newTransitions) {
                     if (transition.fromState().equals(state)) {
                         transition = new Transition(newState, transition.readSymbol(), transition.toState());
@@ -169,16 +200,15 @@ public class NFAImpl implements NFA {
                     }
                     tempTransitions.add(transition);
                 }
+
                 for (String accState : other.getAcceptingStates()) {
                     if (accState.equals(state)) {
                         unionNFA.acceptingStates.add(newState);
                     }
                 }
-                newTransitions = tempTransitions; // Replace the original set with the updated set
+                newTransitions = tempTransitions;
             }
         }
-        // add, alphabet
-
         Iterator<Transition> iterator = newTransitions.iterator();
         while (iterator.hasNext()){
             Transition transition = iterator.next();
@@ -191,17 +221,18 @@ public class NFAImpl implements NFA {
         }
 
         unionNFA.addAllTransitions(newTransitions);
-
         unionNFA.addAllTransitions(this.transitions);
-
         unionNFA.finalizeAutomaton();
 
-
         return unionNFA;
     }
 
-    // #TODO
-    // needs to work with a DFA not NFA
+    /**
+     * Creates a new NFA that is the intersection of this NFA and the other NFA. If either of the NFAs is not finalized, a FinalizedStateException is thrown.
+     * @param other The other NFA to intersect with
+     * @return The intersection of this NFA and the other NFA
+     * @throws FinalizedStateException
+     */
     @Override
     public NFA intersection(NFA other) throws FinalizedStateException {
         if (!this.isFinalized || !other.isFinalized()) {
@@ -213,6 +244,12 @@ public class NFAImpl implements NFA {
         return unionNFA.complement();
     }
 
+    /**
+     * Creates a new NFA that is the concatenation of this NFA and the other NFA. If either of the NFAs is not finalized, a FinalizedStateException is thrown.
+     * @param other The other NFA to concatenate with
+     * @return The concatenation of this NFA and the other NFA
+     * @throws FinalizedStateException
+     */
     @Override
     public NFA concatenation(NFA other) throws FinalizedStateException {
         if (!this.isFinalized || !other.isFinalized()) {
@@ -221,10 +258,8 @@ public class NFAImpl implements NFA {
 
         NFAImpl concatenationNFA = new NFAImpl(this.initialState);
 
-        // Add states from 'this'
         concatenationNFA.states.addAll(this.states);
 
-        // Add states from 'other', with renaming if necessary
         Map<String, String> renamedStates = new HashMap<>();
         for (String state : other.getStates()) {
             String newState = changeIfNecessary(state, concatenationNFA.states);
@@ -232,10 +267,8 @@ public class NFAImpl implements NFA {
             concatenationNFA.states.add(newState);
         }
 
-        // Add transitions from 'this'
         concatenationNFA.transitions.addAll(this.transitions);
 
-        // Add transitions from 'other', updating state names
         for (Transition transition : other.getTransitions()) {
             String newFromState = renamedStates.getOrDefault(transition.fromState(), transition.fromState());
             String newToState = renamedStates.getOrDefault(transition.toState(), transition.toState());
@@ -243,14 +276,12 @@ public class NFAImpl implements NFA {
             concatenationNFA.transitions.add(newTransition);
         }
 
-        // Connect accepting states of 'this' to the initial state of 'other' with epsilon transitions
         String newOtherInitialState = renamedStates.getOrDefault(other.getInitialState(), other.getInitialState());
         for (String acceptingState : this.acceptingStates) {
             Transition epsilon = new Transition(acceptingState, null, newOtherInitialState);
             concatenationNFA.transitions.add(epsilon);
         }
 
-        // Set accepting states of the concatenated NFA to be the accepting states of 'other'
         concatenationNFA.acceptingStates.clear();
         for (String acceptingState : other.getAcceptingStates()) {
             concatenationNFA.acceptingStates.add(renamedStates.getOrDefault(acceptingState, acceptingState));
@@ -261,7 +292,11 @@ public class NFAImpl implements NFA {
         return concatenationNFA;
     }
 
-
+    /**
+     * Creates a new NFA that is the Kleene star of this NFA. If the NFA is not finalized, a FinalizedStateException is thrown.
+     * @return The Kleene star of this NFA
+     * @throws FinalizedStateException
+     */
     @Override
     public NFA kleeneStar() throws FinalizedStateException {
         if (!this.isFinalized) {
@@ -270,17 +305,13 @@ public class NFAImpl implements NFA {
 
         NFAImpl nfa = new NFAImpl(this.initialState);
 
-        // copy, but without accepting states
         nfa.states.addAll(this.states);
         nfa.addAllTransitions(this.transitions);
 
-        // adding the initial state as accepting state because we have to accept the empty string
         nfa.acceptingStates.add(this.initialState);
 
-        // for each accepting state
         for (String acceptingState : this.getAcceptingStates()) {
             Transition loopBackTransition =
-                    // creating an epsilon transition (null) for each accepting state
                     new Transition(acceptingState, null, this.initialState);
             nfa.transitions.add(loopBackTransition);
         }
@@ -290,6 +321,11 @@ public class NFAImpl implements NFA {
         return nfa;
     }
 
+    /**
+     * Creates a new NFA that is the plus operator of this NFA. If the NFA is not finalized, a FinalizedStateException is thrown.
+     * @return The plus operator of this NFA
+     * @throws FinalizedStateException
+     */
     @Override
     public NFA plusOperator() throws FinalizedStateException {
         if (!this.isFinalized) {
@@ -299,55 +335,41 @@ public class NFAImpl implements NFA {
         String newInitialState = "newSTART";
         NFAImpl nfa = new NFAImpl(newInitialState);
 
-        // simple copy
         nfa.states.addAll(this.states);
         nfa.transitions.addAll(this.transitions);
         nfa.acceptingStates.addAll(this.acceptingStates);
 
         nfa.transitions.add(new Transition(newInitialState, null, this.initialState));
 
-
         for (String acceptingState : this.acceptingStates) {
             nfa.transitions.add(new Transition(acceptingState, null, newInitialState));
         }
 
-        /*
-        // for each accepting state
-        for (String acceptingState : this.acceptingStates) {
-            Transition loopBackTransition =
-                    // creating an epsilon transition (null) for each accepting state
-                    new Transition(acceptingState, null, this.initialState);
-            if (!nfa.transitions.contains(loopBackTransition)) {
-                nfa.transitions.add(loopBackTransition);
-            }
-        }
-        */
-
         nfa.finalizeAutomaton();
 
         return nfa;
     }
 
-    // #TODO
+    /**
+     * Creates a new NFA that is the complement of this NFA. If the NFA is not finalized, a FinalizedStateException is thrown.
+     * @return The complement of this NFA
+     * @throws FinalizedStateException
+     */
     @Override
     public NFA complement() throws FinalizedStateException {
         if (!this.isFinalized) {
             throw new FinalizedStateException();
         }
 
-        // create a copy of this NFA
         NFAImpl nfa = new NFAImpl(this.initialState);
         nfa.states.addAll(this.states);
         nfa.addAllTransitions(this.transitions);
         nfa.addAllAcceptingStates(this.acceptingStates);
 
-        nfaAddTrap(nfa); //error on last occasion
+        nfaAddTrap(nfa);
 
         NFAImpl fakeNFA = convertNFAtoDFA(nfa);
 
-        // state -> accepting
-        // accepting -> state
-
         Set<String> newAcceptingState = new HashSet<>();
 
         for (String state : fakeNFA.getStates()) {
@@ -355,38 +377,42 @@ public class NFAImpl implements NFA {
                 newAcceptingState.add(state);
             }
         }
+
         fakeNFA.acceptingStates.clear();
         fakeNFA.addAllAcceptingStates(newAcceptingState);
-
         fakeNFA.finalizeAutomaton();
 
         return fakeNFA;
     }
 
+    /**
+     * Returns whether the automaton is finalized.
+     * @return Whether the automaton is finalized
+     */
     @Override
     public boolean isFinalized() {
         return isFinalized;
     }
 
+    /**
+     * Finalizes the automaton. After finalization, no further states or transitions can be added.
+     */
     @Override
     public void finalizeAutomaton() {
         this.isFinalized = true;
     }
 
-    // #TODO
+    /**
+     * Returns whether the automaton is finite. An automaton is finite if it has a finite number of states and no loops, that have a path to an accepting state.
+     * @return Whether the automaton is finite
+     */
     @Override
     public boolean isFinite() {
-        //transitions={fromState==toState}
-        //states={A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z}
-        //obergrenze = anzahl der states (26)
-
-        //how do we get an infinite language?
-        //we need to have a loop, how can we check:
 
         List<Tuple> path = new ArrayList<>();
         List<Transition> transitions= new ArrayList<>(this.getTransitions());
-        AtomicInteger finished = new AtomicInteger(0); //0=unfinished, 1=finite, 2 = infinite
-        List<Character> letters = new ArrayList<>(this.alphabet); // letters is alphabet with epsilon (null)
+        AtomicInteger finished = new AtomicInteger(0);
+        List<Character> letters = new ArrayList<>(this.alphabet);
         if(this.alphabet.isEmpty()){
             return true;
         }
@@ -394,7 +420,6 @@ public class NFAImpl implements NFA {
             letters.add(null);
         }
 
-        // EndTuple hast firstElement = a //doesn´t matter at all aktually
         path.add(new Tuple('a', this.initialState));
         if(fillToEnd(path, transitions, letters, finished)){
             return false;
@@ -409,7 +434,6 @@ public class NFAImpl implements NFA {
         }
         System.out.println("ERROR-isFinite method isn´t running right!");
         return true;
-        //return continueOnLastTuple(path, transitions, letters);
     }
 
     private void continueOnLastTuple(List<Tuple> path, List<Transition> transitions, List<Character> letters, AtomicInteger finished) {
diff --git a/src/test/java/ab1/tests/GRUPPE/betterSimpleTests.java b/src/test/java/ab1/tests/GRUPPE/betterSimpleTests.java
index b529cec..ab93e24 100644
--- a/src/test/java/ab1/tests/GRUPPE/betterSimpleTests.java
+++ b/src/test/java/ab1/tests/GRUPPE/betterSimpleTests.java
@@ -18,8 +18,7 @@ public class betterSimpleTests {
     @Test
     public void invalidAcceptingState() {
         var instance = factory.buildNFA("START");
-        instance.addAcceptingState(null);
-        assertEquals(0, instance.getAcceptingStates().size());
+        assertThrows(IllegalArgumentException.class, () -> instance.addAcceptingState(null));
     }
 
     @Test
diff --git a/target/classes/ab1/Transition$TransitionBuilder.class b/target/classes/ab1/Transition$TransitionBuilder.class
index 8deddb3decf6a3274ce4269395490e708c3cf086..6a10a5ff3040c811bb292274985c03fb7f9716f0 100644
GIT binary patch
delta 52
zcmeC=?d09?l8KpvL3i?gW>-OeHU@nz1_K5|b_OFJ25AQ4$-kHmZDwJ~U}Du{U}Vsl
IT*xK?05v`e<p2Nx

delta 52
zcmeC=?d09?l1Y%CjX{@-L61S7oxy;IL7KsEvJ>+mW)249$#0lkH?y#0FtO?|FftfT
IE@YDc02%lSS^xk5

diff --git a/target/classes/ab1/Transition.class b/target/classes/ab1/Transition.class
index 55ad5d1eb3dbb31ef6b6d971c9c3789a565b3046..d83e6b5b1aa9a06868130b38faa7fe7b217ccb77 100644
GIT binary patch
delta 79
zcmX@bcZzQV3o|nZgT>@u%-VwdYz($s40a6m><kV(42}#=lSP>yEmmb=R<&VZW#C{i
jXRu_jVz6d#W?*0tVqjtrVc=kJVc=wNWpHQkWRL^^K35Ba

delta 79
zcmX@bcZzQV3$q|U8-oQGgC&C%JA*Y3gAIf2WM}3_%p45%li8WI7pt-`tC};gGH@{1
jF*q<dGB`0fGcYg+F)%TRFmN!qFmN)sGPpB%GDrdd2r3G`

diff --git a/target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class b/target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class
deleted file mode 100644
index dab8ab8697aba7ccd7924d0bd4b4afe220250b0b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 570
zcmX^0Z`VEs1_oOOSuO@924;2!79Ivx1~x_pfvm)`ME#t^ymWp4q^#8B5=I6#o6Nk-
z5<5l)W)00Sb_Nbc2JyrsL;cL$f*gJKpwNH-SA9P>N6*}X94-cS1}>06+>8vO8a@c4
zf=h}r^U|$B+Ibln<gjRWOH3}wFRBEY!p^|Y$iN3u<LBlG6=!5%an4UkWn|#@$;?aj
zE6q(xEec6Y%1LEp5c0`SPRt2QEXoA&p@J+W8JWe53<^FVW6)d*H4<c%H6sH@QfX#R
zil3V!BZDk9CxcD!b91z2WZ)_;Nh~S}E=eo_TZ`d6Mh51*v_wV*PGmj7`K3k4scxAd
zrwSuH1hQQZWCDXC0}lfe10w?;0|S_5Wng1qWDsCrV9;k^WME`qU|`kS&cL`4EG@{u
z0G0-kLJSNHJP-v8!VDq|3=E76q6}hC&AtrG49pA+4BWdJ*dw*KGjRIqY=9d9igX4B
pP6kc}ZU&Gs3J|4GV;C5?8N?YR7#JBi8JHL(8Kl7Ok_PLR0RR)hbY}nn

diff --git a/target/test-classes/ab1/NFAProvider.class b/target/test-classes/ab1/NFAProvider.class
index 054610b210aa2cf49db5a3ff34f72502e727c7c0..ad855775ba15b93e251c8eed6a095f2bad52a3c7 100644
GIT binary patch
delta 58
zcmZo?UdBAZPTw{$$xuHtw;)G9y{NRHAl1+yJ~1;rHLo}+wJ1HcC_be;zo<AnGrl}A
NCpjavXrrGcBLHSo6_Wq}

delta 27
icmZ3++|E3~PCza($xuHtw;)H~Jt#CFz;$D;B_jZIuLxfN

diff --git a/target/test-classes/ab1/tests/FinalizeTests.class b/target/test-classes/ab1/tests/FinalizeTests.class
index 17e959cf098b9a1cb8c27f4e7235f4d31a592bea..1057bafae7db69c722b61096264d77c4a9790161 100644
GIT binary patch
delta 254
zcmew&|3!X-3%k4k0~<dZLq8V-AHxJ5hE9fNeolr-+zc`dlX)1XFif3X#vxZf9mJo(
z!!VO!DkB3=K~8D0e?e+dVo81xKO4hrkk&ao3>^&3{A>*KK)m@p4DDcp7J@V`;$c_}
z(#VyZpIeZVnwy$e!q3LA6r^w&4?`1J+X^m*l?<!c8CLT!tYKKo$e@&!SeB@tlbDyT
zpP4r~h5hs9&m2qGT$eL2GxRd_G4wJ(SQFu_X>isoIBPDPwE)gq!q7YU4!;BdipD>+

delta 267
zcmew&|3!X-3%ejc8$%x#LqEd=c7};O43iipZ~n;6#8@xDz{bzUFpZ0Wk6}6wLnlKs
zKPSUXZUz~KSv(B08RjrDaAoJDrskyvmn0T3GH`2X`XnY9>ifAlTJv)<%mXQ$&%>|)
zq>!f|r?l9=Ahjs5B)^ECjbRbU%*8wm9SqI<Yz#|5yk$HL?O+>LfHbb;VOS*#(#e&a
zpIeZVnwy$e!q3LA2BdN=4?`0}^XAVSOW0g{8JHQSFid5b!T@2-fV1YpSqtH;C2-bq
NIBPY-l*xDaB>*vlK#%|c