From 29e5431bc7a826df4d584f0c47765bd7583773d7 Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 18:29:06 +0100
Subject: [PATCH 1/2] changed a bit

---
 .idea/workspace.xml                          |  82 +++++---------
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java   | 113 ++++++++++---------
 target/classes/ab1/impl/GRUPPE/NFAImpl.class | Bin 9389 -> 9876 bytes
 3 files changed, 84 insertions(+), 111 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 4fde15a..8cbd20a 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,15 +4,13 @@
     <option name="autoReloadType" value="SELECTIVE" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="">
-      <change beforePath="$PROJECT_DIR$/.idea/compiler.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/compiler.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/.idea/jarRepositories.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/jarRepositories.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/.idea/misc.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/misc.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
-    </list>
-    <list id="2bf04d9d-9125-4ed6-9018-847e14e9822c" name="Changes by danie" comment="">
+    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="progress of 7/1">
+      <change beforePath="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_12_06__Changes_.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_12_06__Changes_.xml" afterDir="false" />
+      <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/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" afterDir="false" />
     </list>
+    <list id="2bf04d9d-9125-4ed6-9018-847e14e9822c" name="Changes by danie" comment="" />
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
     <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
@@ -42,36 +40,6 @@
     &quot;second&quot;: &quot;e0c4ebfe-e254-4a34-93d3-a6ee2cb18f94&quot;
   }
 }</component>
-  <component name="LineStatusTrackerManager">
-    <file path="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java">
-      <ranges>
-        <range start1="9" end1="9" start2="9" end2="10" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="37" end1="37" start2="38" end2="39" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="56" end1="61" start2="58" end2="68" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="62" end1="62" start2="69" end2="78" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="67" end1="71" start2="83" end2="86" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="72" end1="72" start2="87" end2="96" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="76" end1="77" start2="100" end2="101" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="94" end1="95" start2="118" end2="119" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="111" end1="112" start2="135" end2="136" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="122" end1="123" start2="146" end2="147" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="187" end1="188" start2="211" end2="212" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="230" end1="231" start2="254" end2="255" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="242" end1="242" start2="266" end2="267" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="254" end1="273" start2="279" end2="282" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="278" end1="279" start2="287" end2="288" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="287" end1="288" start2="296" end2="300" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="290" end1="291" start2="302" end2="303" changelist="2bf04d9d-9125-4ed6-9018-847e14e9822c" />
-        <range start1="292" end1="293" start2="304" end2="305" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="297" end1="310" start2="309" end2="313" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="312" end1="313" start2="315" end2="317" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="314" end1="317" start2="318" end2="321" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="377" end1="388" start2="381" end2="388" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="389" end1="389" start2="389" end2="393" changelist="2bf04d9d-9125-4ed6-9018-847e14e9822c" />
-        <range start1="390" end1="404" start2="394" end2="394" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-      </ranges>
-    </file>
-  </component>
   <component name="MarkdownSettingsMigration">
     <option name="stateVersion" value="1" />
   </component>
@@ -83,25 +51,25 @@
     <option name="hideEmptyMiddlePackages" value="true" />
     <option name="showLibraryContents" value="true" />
   </component>
-  <component name="PropertiesComponent">{
-  &quot;keyToString&quot;: {
-    &quot;RunOnceActivity.OpenProjectViewOnStart&quot;: &quot;true&quot;,
-    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,
-    &quot;WebServerToolWindowFactoryState&quot;: &quot;false&quot;,
-    &quot;git-widget-placeholder&quot;: &quot;main&quot;,
-    &quot;ignore.virus.scanning.warn.message&quot;: &quot;true&quot;,
-    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,
-    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,
-    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,
-    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,
-    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,
-    &quot;project.structure.last.edited&quot;: &quot;Project&quot;,
-    &quot;project.structure.proportion&quot;: &quot;0.0&quot;,
-    &quot;project.structure.side.proportion&quot;: &quot;0.0&quot;,
-    &quot;settings.editor.selected.configurable&quot;: &quot;preferences.pluginManager&quot;,
-    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
+  <component name="PropertiesComponent"><![CDATA[{
+  "keyToString": {
+    "RunOnceActivity.OpenProjectViewOnStart": "true",
+    "RunOnceActivity.ShowReadmeOnStart": "true",
+    "WebServerToolWindowFactoryState": "false",
+    "git-widget-placeholder": "2-playing-around",
+    "ignore.virus.scanning.warn.message": "true",
+    "node.js.detected.package.eslint": "true",
+    "node.js.detected.package.tslint": "true",
+    "node.js.selected.package.eslint": "(autodetect)",
+    "node.js.selected.package.tslint": "(autodetect)",
+    "nodejs_package_manager_path": "npm",
+    "project.structure.last.edited": "Project",
+    "project.structure.proportion": "0.0",
+    "project.structure.side.proportion": "0.0",
+    "settings.editor.selected.configurable": "preferences.pluginManager",
+    "vue.rearranger.settings.migration": "true"
   }
-}</component>
+}]]></component>
   <component name="RunManager">
     <configuration name="ab1.tests in ETI_Abgabe" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
       <module name="ETI_Abgabe" />
@@ -151,6 +119,10 @@
   <component name="TypeScriptGeneratedFilesManager">
     <option name="version" value="3" />
   </component>
+  <component name="VcsManagerConfiguration">
+    <MESSAGE value="progress of 7/1" />
+    <option name="LAST_COMMIT_MESSAGE" value="progress of 7/1" />
+  </component>
   <component name="XDebuggerManager">
     <breakpoint-manager>
       <breakpoints>
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index 8fd9b1e..69ae9a4 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -2,12 +2,10 @@ package ab1.impl.GRUPPE;
 
 import ab1.FinalizedStateException;
 import ab1.NFA;
-import ab1.NFAFactory;
 import ab1.Transition;
 import lombok.Getter;
 
 import java.util.*;
-import java.util.stream.Collectors;
 
 public class NFAImpl implements NFA {
     private Set<String> states;
@@ -68,7 +66,7 @@ public class NFAImpl implements NFA {
         this.transitions.add(transition);
     }
 
-    public void addAllTransition(Set<Transition> transitions) throws FinalizedStateException {
+    public void addAllTransitions(Set<Transition> transitions) throws FinalizedStateException {
         if(this.isFinalized){
             throw new FinalizedStateException();
         }
@@ -96,6 +94,7 @@ public class NFAImpl implements NFA {
     }
 
     // #TODO
+    // handle case where the state is duplicated
     @Override
     public NFA union(NFA other) throws FinalizedStateException {
         if (!this.isFinalized || !other.isFinalized()) {
@@ -114,6 +113,7 @@ public class NFAImpl implements NFA {
     }
 
     // #TODO
+    // needs to work with a DFA not NFA
     @Override
     public NFA intersection(NFA other) throws FinalizedStateException {
         if (!this.isFinalized || !other.isFinalized()) {
@@ -162,21 +162,20 @@ public class NFAImpl implements NFA {
 
         // copy, but without accepting states
         nfa.states.addAll(this.states);
-        nfa.transitions.addAll(this.transitions);
+        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.acceptingStates) {
+        for (String acceptingState : this.getAcceptingStates()) {
             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.transitions.add(loopBackTransition);
         }
 
+
         return nfa;
     }
 
@@ -186,13 +185,22 @@ public class NFAImpl implements NFA {
             throw new FinalizedStateException();
         }
 
-        NFAImpl nfa = new NFAImpl(this.initialState);
+        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 =
@@ -202,6 +210,7 @@ public class NFAImpl implements NFA {
                 nfa.transitions.add(loopBackTransition);
             }
         }
+        */
 
         return nfa;
     }
@@ -213,9 +222,14 @@ public class NFAImpl implements NFA {
             throw new FinalizedStateException();
         }
 
-        NFAImpl complementNFA = new NFAImpl(this.initialState);
-        complementNFA.states.addAll(this.states);
-        complementNFA.transitions.addAll(this.transitions);
+        // create a copy of this NFA
+        NFAImpl nfa = new NFAImpl(this.initialState);
+        nfa.states.addAll(this.states);
+        nfa.transitions.addAll(this.transitions);
+        nfa.acceptingStates.addAll(this.acceptingStates);
+
+        //nfa = nfa.convertNFAtoDFA(nfa);
+
 
         /*
         for(String state : this.states){
@@ -248,22 +262,40 @@ public class NFAImpl implements NFA {
     // #TODO
     @Override
     public boolean acceptsWord(String word) throws FinalizedStateException {
-        //check if word is accepted
+        if (!this.isFinalized) {
+            throw new FinalizedStateException();
+        }
+
+        Set<String> currentStates = new HashSet<>();
+        currentStates.add(this.initialState);
+        currentStates = epsilonClosure(currentStates, this);
+
+
+        for (char letter : word.toCharArray()) {
+            Set<String> nextStates = new HashSet<>();
+
+
+            for (String state : currentStates) {
+                nextStates.addAll(getStateAfterTransition(currentStates, letter, this));
+            }
+
+            nextStates = epsilonClosure(nextStates, this);
+
+            currentStates = nextStates;
+        }
+
+        for (String state : currentStates) {
+            if (this.acceptingStates.contains(state)) {
+                return true;
+            }
+        }
+
         return false;
     }
 
     public NFA convertNFAtoDFA(NFAImpl input) {
 
-        /*
-        What do we need to do?
-
-        Helper Methods:
-        - epsilonClosure
-        - getStateAfterTransition
-        - determineAcceptingStates
-
-         */
-
+        // all accepting states of the DFA
         Set<String> dfaAcceptingStates = new HashSet<>();
         // all states of the DFA
         List<Set<String>> dfaStates = new ArrayList<>();
@@ -299,11 +331,9 @@ public class NFAImpl implements NFA {
                     }
 
                 }
+
                 // build new Transition
                 dfaTransitions.add(new Transition(getIndexOfSet(currentState, dfaStates), letter, getIndexOfSet(newState, dfaStates)));
-
-                // we got to change this to only a string is given
-                //dfaTransitions.add(new Transition(currentState, letter, newState));
             }
         }
 
@@ -313,7 +343,7 @@ public class NFAImpl implements NFA {
             newDFA.states.add(""+i);
         }
 
-        newDFA.addAllTransition(dfaTransitions);
+        newDFA.addAllTransitions(dfaTransitions);
         newDFA.addAllAcceptingStates(dfaAcceptingStates);
 
         newDFA.finalizeAutomaton();
@@ -322,35 +352,6 @@ public class NFAImpl implements NFA {
     }
 
     private Set<String> epsilonClosure(Set<String> states, NFA nfa) {
-        /*
-        Original:
-
-        boolean isAccepting = false;
-
-        int index = 0;
-
-        List<Set<String>> DFA_states = new ArrayList<>();
-        Set<Transition> DFA_transitions = new HashSet<>();
-
-        // start state alle verbindungen mit epsilon als set
-        for(String state : states) {
-            for (Transition transition : input.transitions) {
-                if (state.equals(transition.fromState()) && transition.readSymbol() == null) {
-                    if(!isAccepting) {
-                        for (String acceptingState : acceptingStates)
-                            if (transition.toState().equals(acceptingState)) {
-                                isAccepting = true;
-                                break;
-                            }
-                    }
-                    states.add(transition.toState());
-                    // funktioniert immer noch, wenn w epsilon Übergänge hintereinander?
-                }
-            }
-        }
-        DFA_states.add(new HashSet<>(states));
-         */
-
         Set<String> closure = new HashSet<>(states);
         Stack<String> stack = new Stack<>();
         stack.addAll(states);
diff --git a/target/classes/ab1/impl/GRUPPE/NFAImpl.class b/target/classes/ab1/impl/GRUPPE/NFAImpl.class
index 1ec6e11d7f9e934fae45648e64ba5582ff5757fd..a3c18e6eb7ade3a7530f97034f9e1f6d5fe6cab3 100644
GIT binary patch
delta 5144
zcmZ4MImMUj)W2Q(7#J9A8ErOlnX}k(F>o;C@-XBv<TEk|CZ?n~=H!GFCFT`pmSpDV
z6*DpjY4~I%mL=+!mSpDW2d9=;YleZe6!I_>F%(bM=MdFlWDwNQL{r4UP|C=_k(XK?
z9O4)h0@6^<!%)FcIXRETR+EdthoPE>p@yNBk%7A;-#H_($g!v>v67L2MME>%8Kk<N
zhoOO?ak2!PyBj-0Gb4jA!VO@hKAFWOTntSN%pk?-+zjmuV(bhZj0}7Tbr2;S3|%}7
z-3&dG&#{=Y_3<$DGfbGw$?8!*iIG7BS#4f+Y6?WhL<VMVhN&R)rZF<`Bh&<zrk19H
zWM=R%%w%w8WMI!McFip)sRW75=3$t_;LgavQjnjM19H<m9)|f0#f%Kx>8T}-IRzPs
zNvS353=3gCnf!!RKyv}ZVjhMi3`-dqIFmCHi^39fN>dpbm^Cz=K^`*XVpzbif`?%x
z!>Y-7Z0c%j7#SE1KoaYC7}hgvU}Rt^&a8r{_Y`7aVA#aNu$f`Y<lSs$Y}<Gkwlm~U
z)?}Aa*~!DOi-C=iK`<>dFEJ;xD%G*HBtJK?BtMUfftO(q4+AU1-pO&y(zapj4Es_1
z8(fl@oXy3s4;04x7$QNe86e^a55rNASD6d)3%D7MGgz}ToS1x&U0U)K55s8&Nk#^?
z)WXuloMMpLvpfvv7|u`r%5EZX5tLx!LGHiI!*GS+>SR9-74GW{H`p0&@-W<D*fP16
zLz(Rk4?`S7@#YO2*O+Aa^HR$_^D;{^6LW$~5=&AU8Mu=3a|?1(b5rw5CNJbRHs{Jq
zttbJ@6*Drh<)oIBq!uwUFgi0bu$1Q)r7$w^CYKf!rRG7^uru;9GB8CuPrk|RwpoXV
zpIJ<wk%5tspN-Lwi_wVDn4Qsthha0L>EuBE%Pba*462iB`Bj<O8LcJ<2-pYTWnf@n
zVz|e^#2~{U%)rP1;ooOqV&G=r0n5oFiG$QBA@LtDFfphys4*}wNHZ`purdTPFfu%x
z{74|Y{t*KMgBk-T0|SE?0}F#V11Ez7g9w8pgFJ&2gBF7{gDHayg9C#sgDZnP!(*^2
zCI$uuH-;w+PZ>bKjo}#s4+A3uBPiq;m>3>1FfizY`3wxKT3Z+dHh>)mvWAU;k%56h
z8Egzl3j+fygE+(-h;N=VFft@D#Dh$kd|prt>^6ud4HQktdR{Ovf=U9A9yFU}(QVen
zX$Z*T46w72oo@tkKRdc9Mp#T?Wbk6}203B!G@&xEvmrrh&cM!K!NAX8#URgM&7jL*
z%V5i3$KcK2$Pmfk#E`<^3^q%Q0TiUE@E}cPc**dJfsx@g11N-;`DJAp-Y_sQurM$(
zs53Bvib@7%a5%4EU}9ilU|=xP+QOhblYx6TgL>q4hROFtq$V#F767|Lih&IrUF;0*
z4Ezk944MpH40;US42BFoV7nC<m>Dz~Siv?jgN%Z^!U&qs-ZC(NBbb2!Byu0>E*=JE
z{yz+C><sq57^IM#2Z_jc42%o`Yz%?mAh8lL4*^BL7y~N<1494<J3}A?KSMBs6hjDu
zDnlsP8IT}QgIlh~@E&X_C<vGt82OQGU<8#dpa7VBRKyv{j}Z*)43P}{4ABgl3^5FP
z46zJ`3~^w?VSWS|iS9=sa3(?aqY%SAqWt)Qfsx@O8^b5CAA3cMvq64TV&Gt4U`SyQ
zU`S<<U`S_BVaQ}KV#s1}V#r|#V8~@iU?_k)iGd*r?%yPa&kSD}7#UO;>=?c>JY`@4
zM?MP!lK?x4*T2E-^P0R>Oq21^<ojak&Y*k=@+2-3zvD6S2h>DQ@lA}6CjSvPuLqfC
z!obQffq{qNC&McSR)#tTIfh>hJm9pp5boxMa5vX7{D#{gz`!EF{+A(;oq+?KI80F7
z|A*l(D7+XL7(t~FC_U7G((Wu++SS~@d$O3cl!n$82B~cfIoewoWVN<1u<v9LVPXi^
z+Qv|@lfjCS!B=M|gB>HoOa|@AI#P=DAi3rLFKL5vDl-Ep8uS>r85kJmGO#nuW8i04
z$RN$Igh7*GDT5)y3I=<I)eJEVYZ$T_)-#kdY+$Hj*bI&mEd~~bYz7{Ne+;h}SQug$
zq#6D*@GyYVOAXY^(hP}=3=B`9se_+^ng1_?B|C!`#G?kt9%W>NdsKme4V>_&pm|iN
z#Ai1HN2K<4hA>~9EerynvU2i7aq)VPk7ai<L@+Ug>uh0=+RdOHsm%xqh3yQP(16&&
zAPWu%KV4`*sOj!xaA9OPz~E!W0@EbP!l(_`vi$#b9YpvTfvb!i4D1X$8Tc9YFbFa1
zWsqh#z@W)+kfGk3;Shr>!x4rUhT{xX3?~@+8BQ`xVz>?uq$&ncaL|BCo+;3v5n^a!
zWCG_{X@*L0AVE^F5Cb#+KZY=N1|L{@&_)R+W>_#W%wb>#7lZDT*`&=Ub4&5nGa}q8
z$H30Oz;Ks=o#7q>Kf@yiX@<uPnhZ}E%o(0CxH5bII}K8VxI-Nz&7cEz2BZ|lC_+>j
zoIy1pT8*K+2C1&92US*I!A8R>D@eV=2x`$lb(=6Sfh#pOEtahe${XR@xxjw;#lXt&
z8_5JVsN)zJS>X2TK<i2-W@O7585rsrnUS<I!L_n7vO%-ZNd{I1E(QjMeP}6bHv@0v
zb_RZ59Z;fyrWhTqZ470;+S?ea{B-x3u`rvlin5BbEMf@N6=gLsV}ok3V%GtuD=Q93
zj(TX)Qj+9=r!7uNb}b!IHmz+8b&v$Q{QoU2Np_IgR_v1OzAdbb%m1%}m;q0lib!cw
zYYT&{B+E_)115%<46H0`mjAy4_BRVS+j=nwF)%Q4GO#mpG4R(j@-m1s@-Zke@-t{M
z3Nbh_3Nv^!iZNs|iZfI)N-)$gN-?xD$}n^=3NiFC$}_BFRAAW7sK~IBQJG;6qbfM;
zJQ&y+G8qKGl?f+<H-jxBJA*I-JA)I08zToJCj%S9N~kO-G4F$hF$2RsMlObWP^^nH
zENA3q5N2Rv096s7BnC0$9s@fAL=M!_0@YIX3>^Ib8B{@4A_q9Ri?TEFFfuYQ{9}-1
zWM>cs7ls=D83Y-a!CAqFok5g=0aAr3|6*W5$rgN!{0wr8pgNvelz{_Om@!5|qsVtR
zLsR5-hL*|uWF+cap|LB;s=bY&%!*Z4l65CT8>pxRi*(Lp5Y*9<WYyiq&<jzyn_(iT
zg<!=d$p%t7g^3|tl5Ho$bVi0*3=2W5S)f8h)QVku8^c_9Qh=s}T6juWu#I7n8K+jg
zmL$6<r}j36I<WOzx{_Qw8J00I%wo`!WCO85=7R+xZsOA3#sGB_7s5@FETAGzOOhQV
zB+9viVY!whSQ@GDs$c#;8dO>et=`TMX2s58#v#g~yR)8QEhEDs25Cw5Eeryp9J?4c
zGB7~=*}}oN{Qm<<c1f0P3^|hQI@=hwO0sWb*dYmS&OuUJ9fLdr1EV$r2cs^70HZ#G
zB%=|75~DGL9-|q9Iiop)1EU3l7o#OZ1fwlOBBLEcHlqVWDWfApBcn6JQbt#Xt&H_<
z3<nt98BQ^JFkEKzWVp-d#qgRjfRUFmkWqj!h*6j^gi($$j8TU%oY9UkjM0TLiqV@f
znlX?umNASm9-Km}7<d@AGDI*6FbFenF)U@s0H;e%hDL^dMnO<oWmIHPW)xx+1~n`g
zBVj3&F_KY);b}bsBLfFxAfqTag$giwGKw*ZGcYqqGCD9yFbFfSFeovaGdyDuW?*GV
zWca}-$tcCZ#wf>N%_z<Alz|<bra@T*;(&V$Tu^I4sT*Q0D0M^3m4TakA8s!HJ-ETL
z3~UUqCnv~@@wbB$J2-6%u`^7a+$yh-2o+;zn99Jw^p}B`oq>b#7lRT56R1xPEzM#X
zm_dGIXaOa3?d=S^{dP0#i`>p|z=}nZMSB~=!EjJy9-76F0-_ItsybGkoeT+#3_BT)
zO=eS2W;{7rOF^mrO!)HudzSy7r3<P)ATbTD?iiC9I2ltIgcws9BpK5f6dBVQv>7uP
z{1`JCk{PoY3K_E*Y8dkv>KXGHniwIiG*H<1G3bFC$LtK+3?blx1k`G2fkgyE3j?GH
z$-vOU$iVQ0p`M9>lcAbXjzO4#nL&u5h*6$Vfq?}a)Q~0`NCT*a2~l+qu1b-C1>ES9
zW?=oxAPEk{eSaC`z-5X3ZwBX|3`|UrULPYU;2Ibjp#kT_0J4&Sp%D~t+b4S|YB3(0
zT&k!na&jhviX_K22D4)fGGKZe!=lM+6y?E<W+hNyGnO!LGL|x^GnO%UF_trAGgdHE
zFjg^CGgdRyG1h<+C@2g-U51wouNXKO)S+Pj>Qpqs!=Mo!291o$jGW-QuMr#?%nY0i
z6^tt2v<NFf8AKRB8X#c+lDr4<`Q$hyB{gvGfl-x#2{dE^@gBoE1}1R($w+4>!v#oW
zFH_P3`vKgeU~FJeU~FX2W^7{6Wo%(EU~C1u8`PXrVBlp`gSK0Z;I1`-yVi(Ngy9Rc
zYzLM0pe_zd^ZyS64?Bas0;qU~I8B{_2{eSmz*G+^oEcIXn7}PWZXNBN440S~b}(E6
zr8-C>6x?%V>;$_867}40H*hm*fIA)x4BX&6i>O~fA{yW>2#6)dD8m4Ybxj6F(3lP+
zSSDXm76FF=*cJvsuq_ZjutIHtxL8ZTk)eno9@<_(^vt(06o8z{1g>}?hHzmTBH+jn
zhgI|K4Gat(3<PvDFf(d{nna8`jJgaA3>*xMj0OyhjGzLRfq{#Gk<pydlF^z$5&%V{
B%1i(N

delta 4508
zcmbQ@yVjHI)W2Q(7#J9A8I3k_nX@pnGvrRrXO$4jVPNKB;9y7x5rsSqMGVE0_p{h4
zb2F4Oh_N%2F*5LFC6*=XmzHGa==)?Amw?n&@Gw*|R88K*YRXo_!%)jmH~B5AM|}e$
zg9x(PyzJBzh>m&&W^RUNka;bP4EzW+fu*UXsUVp)9)@-XXGRA0%wpHvf|5#*SSJrd
z7lS(^14}`EP7cV{9v+5XhCW6H?)20W$DD$U#H7>`Mg~C*O&_p{JYXjVr<Pc=GfbGg
zhD}1HpJ5UY!(@gjj0~K~8Hq(<i8-aIj10^gn$95OrtvULXP7ZrmDQae<XJ;5hJJ?G
zJPdOf=1zXgrmi-hk%7?wB(ac(VG+Y(Mh2GR%qoa>Pay^dhNV0V%NUkVwqiGvT*<?*
zieWV)gFs?RiepYrNKs;5ab`(oe%|DG7D>0YJPhkVvZ4@K$K>SHf|AU<^x%@jlGI|5
zOE&N@Y-C_#WDrct%uCG4tV(q(Ey>SKEXmK~V&G-i%)`LSuw`-_v$Sm(JHs}V01Pfk
zOwQ(F*b0intqhSMRvU=e&BL$<6n4x7`32kz`xva*8TL=+<B*m-$ir}mL6VVyEw!*T
zF{c=$_6QHdQHEoaoj6QXPw+6DWQb>E5CVlTsyjg;ahiwW48z&UZ5%4x=NT@rGhF0h
zxWur0@>ULIfh!=LeIU<V<6($n=-Ygc;~JARS8{%CK~8FJYF-H=122N(=jJ&1BDXOs
zOL=}#%4BOEH*U6^)RL0aB1Q&A=gsvzg3My7j0}v7{A`TsT#Oown(T~PJPgYiwI?s*
zzs#sNxk^Bb#ek7PZgQ=F+~i{da>3Ub7#NrsZZI%0$S?>qFfu^+HyM~1xEXlBa`H&x
zAazPe{96o645|!j3=9m?42%q{41o-c47Vqn3x)^YVPIfTW8h?9V31&7VUT3tWRPMI
zVUT8!XOLmgVvuDpWsqZVV322UWl&_e%fP@O#=ykDz~IJkkKsN82)HpkVBle3WMBk^
z2?G<u?aB8A#p*$(vN13+Ffgcsb%9hcFt9>(LEQe3fsrAJAs(cMfq_9EYz6}ZtJW3<
zsSRKcAq>&NX~-i6Muw9NeQ1VQflQG_H$@+(DIlk0fSquA@;V_gb%f0(SoAP5crkc`
zY@GaBs4NYn77~D#4D1Y64Ezi>4Dt-N47v>V47Lmo4BiaR43P{j3@Hq*V6z|rm<kOF
z28L9I#|%#x7#W^2fC7k_Usjgk83O|Y3j-sAIs+pp+c7XR+@35YYCQRuumCt@r5M;4
z7#KVl*cm(-_!+zzG#Pvt^cZ{@3>o~uRwytqGiWlff(>S7U|=wUTV@1JJ<k~!z_A9B
zlVP|CwVsE8ng0(18#{yjF9s<jS3u(H1p^~P02@Of*ysHs<{==Ti!rb=Ffar$urmZR
z@H2!mNHK&ls4|3uodNNw8r*U<hL>PVK|W<>VB|-#fe}=IK>g{A<i{umc7|vMeuh{E
zO@=rIJ%)G&Lxu#f;V?gfj70aN5IE%{`%#GD22p-|#lXn$nvLNN*pCOqye8|2X=a1`
zsl>p+0E#OChBO8Vh71N3hAajnhHM5WhFpdKhCGG@hC;Zr7#Nb^eokU|%kYkYkwJyQ
zj^RDSeFi3QJhLz`39zGh{{!64V#Yg@O~lomL75HYNnECV#ADhgsA==WH!<Fs94KL4
z4>HY!ft6tb0}sPzh9?ZH40Q~03||;{7+4q>7#70ayAbZ)T86K18w40w1la#F1hO-5
zfD?xairc?2d<TUW0|TQJ11mT^OwiiGpgfC#dpCo6<aP$l{ktbeNb5<l?_>~RVhGpT
z!XUeo!HSW=S7#@K9V5d`2FuBwl8VX(OboLa__en%NJ+9lR4)I2L>rWenHfM)V8p;P
zxn5GV-kf0tgDb;oh9rhH422Bq8R{7}Fmy9)V(4So0*(SL1{Q`w1}TOg3{MzX7?Kz?
z8GbVGFo4p?1gJNq8A=&`G2Dly2muBb{=W?N5WiXfVqik?+;4QxF)>V->>=$cjKdrC
zM0kUNfng^DJHsvpeulja(hLU}G#L&um@^z=aAi2kki>9|p^)JuLp{SOhHi#441Eme
zNb!~xk^cGv^A|%G12ecxx18)DZ642v2yjR-bA^GO;VJ_^!wm*$hMNqU47V7}86JUM
z1j*l)@IaMg_zSljBY&$hID_k)57NlR>vOO{sI>zlsHp%}t1BZ8E(^H8?t8<)%J3FR
zJsZ?wMuvY7vl$o|bfC2e6Z0ChD&#AYPA0g{|BRqo^)>?ogBb%O*cLRM^$ZLQf52KH
zzJ+OJU|?co1eaz=g*77+BQwb13=GVo3>*yH3=E8syBT;Rw=?kj?q<k|+|H2a2jyF_
zz!<EOtlHZc@^?b=2AES|#i}dGx|5-ViNP&g3oKMVlR;2NOOjQ08$&fj>28Ml$n6Y`
zR&0`NAhk_Q4B?V&I~iIT8D=po1hG0884fUrTCr<yW9XhNEiYByzl~v{8K;((B)cf5
z_BMv8+S?ckthjU~xpp$l1m!(FNj4B0WD;1g1e94NxwN-2KyBwj*e=Pkn?XBLOOhQV
zB+9viVV0I8Sb94{Cd7Tq|JN`7AHAD_BT{JIc7`x3_IegG4p9!>oeT>Y85S`}OR{fa
z5D?|q#jpgF8$bm^3kT!!{|_YDC0VvHtdL~a*~YL&l6@P)dP#Ornq&bN0(A`X3=E9i
z3>=KS3<8Y&43dmO3`&f`40?=W4CajD3=WJE3|@?q3=xd742g_#4B3nd45f^U42_J+
z^$bfHRT;K2sxcg3RA)HFsKIcVQIp{=qZY$!Mtw$JMq@?+MiWM1Ml(h^MhiwAMoUIJ
zMhiw4MjJ+NMq9=}MtjCEMn`Z`sAAw@*vb&W$ig7Zz{RkXA%l^Xk&S_qp^>4Vk)1)9
zft^v2L79<*krPyDFh)XCTRj6~BqJ9%hj1_kGIBErGcYj-FnTibF!C}mGe|NzF!C`7
zGq5lyF`6?xU=U_tWk_WB!N|`jz`({R$6(DU$Z(&5odHy>fvSFp18y*IL9M;Pz|H_M
z7u5KJm@5P~_a+02HPql6aD#;z*ud3M1Ovx^h6qr_&jBt4McElj*%?IH8AL&eUx=Nd
zd2)`TLLyX*ouQe5f$1*;FUY=M3`z`4pe_}(28d-~26>vH1(dwCw=-<=+s&{way!Fz
zD;7x>?QIM@!a=dSa~4Aih~9O8!N-bKXD34fBg0OHy_4T6Dl;CKEU2VZe>i;k|2@n9
z&(cLiy%DIL%b3K#$(YO_#F)Y$$(YKZ$e6~U&6v*M$C$y8%$Uhg$e6`Y!<frZ&zQ&1
z#F!6`El^<jG3bF?L+lLN3?blV2&mc80*x64h86}$n*qf7#qf?HkBNbkp_);IL70J=
zL5QJ<QIt`Pfdw4)kUANp0o0^`sJa1HCC<PC4pM0b*1rsr;6U8^mqCu5!H1o}{x^g3
zPX;C?NZXxJf`JLtJp%>YWCdkw#=Vncl$Glb%w$lJ<k-ewc8oy=OmAbDD6@b;K#~Q-
zGlu1@J<I=3lVm{z4!C{7Sj@o5Si+#rSjynVSjLdeSk6$vSjkY$SjAAsSPc&hFKA$J
zFsMTV1Js;s1P6vYs7>Dp4~<4fNk%qsx!A}63KwPuPKF9bDR43cB}7P}2vQFT43OLn
zP!LRZRZ&s{w;LIy8JIwQX^=k|7#P+uFoBy0MmjqgjzeO-S49t8%!AvKjP(o(j13Ih
zjExMsjLi%Nj4fbygDQ0e23|%PXp058NehcQBStQUcMMG6Sb|h3MhqwozdsB-><sn_
zpei2XG+72FP~V<`sh$B;2c$AEf!hh(I@&uKPBAg;U^oW~VMy}>+?`?U0J{c~2Drf?
z1`054MmcbklYxO7oSPwTfCLUm4iq>LIUxpE^vg3af;#(<V5tXpK0y5?P|rmHWGfT6
zyaU_HAPlw@;wO|&6r+NGBd9|QsdbPH*~V}g-4Gs3Lj)Wd;uzu?7#U(f-bZx7wlQ2K
tLN^05qavu5WmIBRW?*38U|?iaV_;-dVboz@VBlh4WYlHUXEbDx1OORcNx1+3


From 9061e7b19a5a7e71cc71eec278d8e1e2ccf2ec70 Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 18:32:48 +0100
Subject: [PATCH 2/2] changed a bit

---
 .idea/workspace.xml | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 8cbd20a..4269147 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,12 +4,7 @@
     <option name="autoReloadType" value="SELECTIVE" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="progress of 7/1">
-      <change beforePath="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_12_06__Changes_.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_12_06__Changes_.xml" afterDir="false" />
-      <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/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" afterDir="false" />
-    </list>
+    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="changed a bit" />
     <list id="2bf04d9d-9125-4ed6-9018-847e14e9822c" name="Changes by danie" comment="" />
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -114,6 +109,15 @@
       <workItem from="1704712375384" duration="4940000" />
       <workItem from="1704717343016" duration="2934000" />
     </task>
+    <task id="LOCAL-00001" summary="changed a bit">
+      <option name="closed" value="true" />
+      <created>1704734947115</created>
+      <option name="number" value="00001" />
+      <option name="presentableId" value="LOCAL-00001" />
+      <option name="project" value="LOCAL" />
+      <updated>1704734947115</updated>
+    </task>
+    <option name="localTasksCounter" value="2" />
     <servers />
   </component>
   <component name="TypeScriptGeneratedFilesManager">
@@ -121,7 +125,8 @@
   </component>
   <component name="VcsManagerConfiguration">
     <MESSAGE value="progress of 7/1" />
-    <option name="LAST_COMMIT_MESSAGE" value="progress of 7/1" />
+    <MESSAGE value="changed a bit" />
+    <option name="LAST_COMMIT_MESSAGE" value="changed a bit" />
   </component>
   <component name="XDebuggerManager">
     <breakpoint-manager>