diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch
new file mode 100644
index 0000000..a6bb22c
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch
@@ -0,0 +1,126 @@
+Index: .idea/workspace.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"AutoImportSettings\">\r\n    <option name=\"autoReloadType\" value=\"SELECTIVE\" />\r\n  </component>\r\n  <component name=\"ChangeListManager\">\r\n    <list default=\"true\" id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"changed a bit\">\r\n      <change beforePath=\"$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml\" beforeDir=\"false\" afterPath=\"$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml\" afterDir=\"false\" />\r\n      <change beforePath=\"$PROJECT_DIR$/.idea/workspace.xml\" beforeDir=\"false\" afterPath=\"$PROJECT_DIR$/.idea/workspace.xml\" afterDir=\"false\" />\r\n      <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\" />\r\n    </list>\r\n    <list id=\"39d4ccb3-eae9-4ed4-996a-5a13f44678fa\" name=\"Changes by carol\" comment=\"\" />\r\n    <list id=\"2bf04d9d-9125-4ed6-9018-847e14e9822c\" name=\"Changes by danie\" comment=\"\" />\r\n    <option name=\"SHOW_DIALOG\" value=\"false\" />\r\n    <option name=\"HIGHLIGHT_CONFLICTS\" value=\"true\" />\r\n    <option name=\"HIGHLIGHT_NON_ACTIVE_CHANGELIST\" value=\"false\" />\r\n    <option name=\"LAST_RESOLUTION\" value=\"IGNORE\" />\r\n  </component>\r\n  <component name=\"Git.Settings\">\r\n    <option name=\"RECENT_BRANCH_BY_REPOSITORY\">\r\n      <map>\r\n        <entry key=\"$PROJECT_DIR$\" value=\"3-daniel-hat-a-skill-issue\" />\r\n      </map>\r\n    </option>\r\n    <option name=\"RECENT_GIT_ROOT_PATH\" value=\"$PROJECT_DIR$\" />\r\n  </component>\r\n  <component name=\"GitLabMergeRequestFiltersHistory\">{\r\n  &quot;lastFilter&quot;: {\r\n    &quot;state&quot;: &quot;OPENED&quot;,\r\n    &quot;assignee&quot;: {\r\n      &quot;type&quot;: &quot;org.jetbrains.plugins.gitlab.mergerequest.ui.filters.GitLabMergeRequestsFiltersValue.MergeRequestsMemberFilterValue.MergeRequestsAssigneeFilterValue&quot;,\r\n      &quot;username&quot;: &quot;rawalcher&quot;,\r\n      &quot;fullname&quot;: &quot;rawalcher&quot;\r\n    }\r\n  }\r\n}</component>\r\n  <component name=\"GitLabMergeRequestsSettings\">{\r\n  &quot;selectedUrlAndAccountId&quot;: {\r\n    &quot;first&quot;: &quot;https://git-ainf.aau.at/rawalcher/theorethische-informatik-gruppe-10.git&quot;,\r\n    &quot;second&quot;: &quot;2afc8825-f511-4d8a-8cc1-901875567c84&quot;\r\n  }\r\n}</component>\r\n  <component name=\"MarkdownSettingsMigration\">\r\n    <option name=\"stateVersion\" value=\"1\" />\r\n  </component>\r\n  <component name=\"ProjectColorInfo\">{\r\n  &quot;associatedIndex&quot;: 2\r\n}</component>\r\n  <component name=\"ProjectId\" id=\"2afDcX9p9UZiDe6ife9RGZcJjKQ\" />\r\n  <component name=\"ProjectViewState\">\r\n    <option name=\"hideEmptyMiddlePackages\" value=\"true\" />\r\n    <option name=\"showLibraryContents\" value=\"true\" />\r\n  </component>\r\n  <component name=\"PropertiesComponent\"><![CDATA[{\r\n  \"keyToString\": {\r\n    \"JUnit.ComplexTests.concat1Test.executor\": \"Debug\",\r\n    \"RunOnceActivity.OpenProjectViewOnStart\": \"true\",\r\n    \"RunOnceActivity.ShowReadmeOnStart\": \"true\",\r\n    \"WebServerToolWindowFactoryState\": \"false\",\r\n    \"full.screen.before.presentation.mode\": \"false\",\r\n    \"git-widget-placeholder\": \"3-daniel-hat-a-skill-issue\",\r\n    \"ignore.virus.scanning.warn.message\": \"true\",\r\n    \"node.js.detected.package.eslint\": \"true\",\r\n    \"node.js.detected.package.tslint\": \"true\",\r\n    \"node.js.selected.package.eslint\": \"(autodetect)\",\r\n    \"node.js.selected.package.tslint\": \"(autodetect)\",\r\n    \"nodejs_package_manager_path\": \"npm\",\r\n    \"project.structure.last.edited\": \"Project\",\r\n    \"project.structure.proportion\": \"0.0\",\r\n    \"project.structure.side.proportion\": \"0.0\",\r\n    \"settings.editor.selected.configurable\": \"preferences.pluginManager\",\r\n    \"vue.rearranger.settings.migration\": \"true\"\r\n  }\r\n}]]></component>\r\n  <component name=\"RunManager\" selected=\"JUnit.ComplexTests.complement1Test\">\r\n    <configuration name=\"ComplexTests.complement1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"complement1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.concat1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"concat1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.union1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"union1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1 in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <option name=\"TEST_OBJECT\" value=\"directory\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1.tests in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"TEST_OBJECT\" value=\"package\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"JetRunConfigurationType\">\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"KotlinStandaloneScriptRunConfigurationType\">\r\n      <option name=\"filePath\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <recent_temporary>\r\n      <list>\r\n        <item itemvalue=\"JUnit.ComplexTests.complement1Test\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.concat1Test\" />\r\n        <item itemvalue=\"JUnit.ab1 in ETI_Abgabe\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.union1Test\" />\r\n        <item itemvalue=\"JUnit.ab1.tests in ETI_Abgabe\" />\r\n      </list>\r\n    </recent_temporary>\r\n  </component>\r\n  <component name=\"SharedIndexes\">\r\n    <attachedChunks>\r\n      <set>\r\n        <option value=\"jdk-21.0.1-openjdk-21.0.1-f644763e9732-f98dd351\" />\r\n      </set>\r\n    </attachedChunks>\r\n  </component>\r\n  <component name=\"SpellCheckerSettings\" RuntimeDictionaries=\"0\" Folders=\"0\" CustomDictionaries=\"0\" DefaultDictionary=\"application-level\" UseSingleDictionary=\"true\" transferred=\"true\" />\r\n  <component name=\"TaskManager\">\r\n    <task active=\"true\" id=\"Default\" summary=\"Default task\">\r\n      <changelist id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"\" />\r\n      <created>1704700820495</created>\r\n      <option name=\"number\" value=\"Default\" />\r\n      <option name=\"presentableId\" value=\"Default\" />\r\n      <updated>1704700820495</updated>\r\n      <workItem from=\"1704700821945\" duration=\"5461000\" />\r\n      <workItem from=\"1704712375384\" duration=\"4940000\" />\r\n      <workItem from=\"1704717343016\" duration=\"2934000\" />\r\n    </task>\r\n    <task id=\"LOCAL-00001\" summary=\"changed a bit\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704734947115</created>\r\n      <option name=\"number\" value=\"00001\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00001\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704734947115</updated>\r\n    </task>\r\n    <option name=\"localTasksCounter\" value=\"2\" />\r\n    <servers />\r\n  </component>\r\n  <component name=\"TypeScriptGeneratedFilesManager\">\r\n    <option name=\"version\" value=\"3\" />\r\n  </component>\r\n  <component name=\"VcsManagerConfiguration\">\r\n    <MESSAGE value=\"progress of 7/1\" />\r\n    <MESSAGE value=\"changed a bit\" />\r\n    <option name=\"LAST_COMMIT_MESSAGE\" value=\"changed a bit\" />\r\n  </component>\r\n  <component name=\"XDebuggerManager\">\r\n    <breakpoint-manager>\r\n      <breakpoints>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>\r\n          <line>171</line>\r\n          <option name=\"timeStamp\" value=\"10\" />\r\n        </line-breakpoint>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>\r\n          <line>15</line>\r\n          <option name=\"timeStamp\" value=\"12\" />\r\n        </line-breakpoint>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>\r\n          <line>447</line>\r\n          <option name=\"timeStamp\" value=\"21\" />\r\n        </line-breakpoint>\r\n      </breakpoints>\r\n    </breakpoint-manager>\r\n    <watches-manager>\r\n      <configuration name=\"JUnit\">\r\n        <watch expression=\"((HashSet)((NFAImpl)testInstance).acceptingStates).toArray()[2]\" custom=\"java.util.HashSet,ab1.impl.GRUPPE.NFAImpl\" />\r\n      </configuration>\r\n    </watches-manager>\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/workspace.xml b/.idea/workspace.xml
+--- a/.idea/workspace.xml	(revision b1b97fff10c85cc1d368f8304a716300729e71a3)
++++ b/.idea/workspace.xml	(date 1704752627213)
+@@ -4,10 +4,8 @@
+     <option name="autoReloadType" value="SELECTIVE" />
+   </component>
+   <component name="ChangeListManager">
+-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="changed a bit">
+-      <change beforePath="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml" afterDir="false" />
++    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="complement1Test works&#10;fuck yea">
+       <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" />
+     </list>
+     <list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
+     <list id="2bf04d9d-9125-4ed6-9018-847e14e9822c" name="Changes by danie" comment="" />
+@@ -53,7 +51,9 @@
+   </component>
+   <component name="PropertiesComponent"><![CDATA[{
+   "keyToString": {
++    "JUnit.ComplexTests.complement1Test.executor": "Run",
+     "JUnit.ComplexTests.concat1Test.executor": "Debug",
++    "JUnit.ComplexTests.executor": "Run",
+     "RunOnceActivity.OpenProjectViewOnStart": "true",
+     "RunOnceActivity.ShowReadmeOnStart": "true",
+     "WebServerToolWindowFactoryState": "false",
+@@ -72,7 +72,22 @@
+     "vue.rearranger.settings.migration": "true"
+   }
+ }]]></component>
+-  <component name="RunManager" selected="JUnit.ComplexTests.complement1Test">
++  <component name="RunManager" selected="JUnit.ComplexTests">
++    <configuration name="ComplexTests" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++      <module name="ETI_Abgabe" />
++      <extension name="coverage">
++        <pattern>
++          <option name="PATTERN" value="ab1.tests.*" />
++          <option name="ENABLED" value="true" />
++        </pattern>
++      </extension>
++      <option name="PACKAGE_NAME" value="ab1.tests" />
++      <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
++      <option name="TEST_OBJECT" value="class" />
++      <method v="2">
++        <option name="Make" enabled="true" />
++      </method>
++    </configuration>
+     <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+@@ -126,20 +141,6 @@
+       <module name="ETI_Abgabe" />
+       <option name="TEST_OBJECT" value="directory" />
+       <dir value="$PROJECT_DIR$/src/test/java/ab1" />
+-      <method v="2">
+-        <option name="Make" enabled="true" />
+-      </method>
+-    </configuration>
+-    <configuration name="ab1.tests in ETI_Abgabe" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+-      <module name="ETI_Abgabe" />
+-      <extension name="coverage">
+-        <pattern>
+-          <option name="PATTERN" value="ab1.tests.*" />
+-          <option name="ENABLED" value="true" />
+-        </pattern>
+-      </extension>
+-      <option name="PACKAGE_NAME" value="ab1.tests" />
+-      <option name="TEST_OBJECT" value="package" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+@@ -157,11 +158,11 @@
+     </configuration>
+     <recent_temporary>
+       <list>
++        <item itemvalue="JUnit.ComplexTests" />
+         <item itemvalue="JUnit.ComplexTests.complement1Test" />
+         <item itemvalue="JUnit.ComplexTests.concat1Test" />
+         <item itemvalue="JUnit.ab1 in ETI_Abgabe" />
+         <item itemvalue="JUnit.ComplexTests.union1Test" />
+-        <item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
+       </list>
+     </recent_temporary>
+   </component>
+@@ -192,7 +193,15 @@
+       <option name="project" value="LOCAL" />
+       <updated>1704734947115</updated>
+     </task>
+-    <option name="localTasksCounter" value="2" />
++    <task id="LOCAL-00002" summary="complement1Test works&#10;fuck yea">
++      <option name="closed" value="true" />
++      <created>1704752454444</created>
++      <option name="number" value="00002" />
++      <option name="presentableId" value="LOCAL-00002" />
++      <option name="project" value="LOCAL" />
++      <updated>1704752454444</updated>
++    </task>
++    <option name="localTasksCounter" value="3" />
+     <servers />
+   </component>
+   <component name="TypeScriptGeneratedFilesManager">
+@@ -201,7 +210,8 @@
+   <component name="VcsManagerConfiguration">
+     <MESSAGE value="progress of 7/1" />
+     <MESSAGE value="changed a bit" />
+-    <option name="LAST_COMMIT_MESSAGE" value="changed a bit" />
++    <MESSAGE value="complement1Test works&#10;fuck yea" />
++    <option name="LAST_COMMIT_MESSAGE" value="complement1Test works&#10;fuck yea" />
+   </component>
+   <component name="XDebuggerManager">
+     <breakpoint-manager>
+@@ -218,7 +228,7 @@
+         </line-breakpoint>
+         <line-breakpoint enabled="true" type="java-line">
+           <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
+-          <line>447</line>
++          <line>448</line>
+           <option name="timeStamp" value="21" />
+         </line-breakpoint>
+       </breakpoints>
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40__Changes_.xml b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40__Changes_.xml
new file mode 100644
index 0000000..569e971
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40__Changes_.xml
@@ -0,0 +1,4 @@
+<changelist name="Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]" date="1704753651010" recycled="true" deleted="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Checkout at 08.01.2024 23:40 [Changes]" />
+</changelist>
\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/FinalizeTests.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/FinalizeTests.class
new file mode 100644
index 0000000..17e959c
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/FinalizeTests.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/NFAImpl.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/NFAImpl.class
new file mode 100644
index 0000000..a18bce3
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/NFAImpl.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition$TransitionBuilder.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition$TransitionBuilder.class
new file mode 100644
index 0000000..8deddb3
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition$TransitionBuilder.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition.class
new file mode 100644
index 0000000..55ad5d1
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/shelved.patch
new file mode 100644
index 0000000..e69de29
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class
new file mode 100644
index 0000000..17e959c
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class
new file mode 100644
index 0000000..a18bce3
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class
new file mode 100644
index 0000000..8deddb3
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class
new file mode 100644
index 0000000..55ad5d1
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch
new file mode 100644
index 0000000..9a01a2b
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch
@@ -0,0 +1,386 @@
+Index: src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+>package ab1.impl.GRUPPE;\r\n\r\nimport ab1.FinalizedStateException;\r\nimport ab1.NFA;\r\nimport ab1.Transition;\r\n\r\nimport java.util.*;\r\n\r\npublic class NFAImpl implements NFA {\r\n    private final Set<String> states;\r\n    private final Set<Transition> transitions;\r\n\r\n    private final String initialState;\r\n    private final Set<String> acceptingStates;\r\n\r\n    private Set<Character> alphabet;\r\n\r\n    private Set<Character> completeAlphabet;\r\n    private boolean isFinalized;\r\n\r\n    public NFAImpl(String startState) {\r\n        this.initialState = startState;\r\n        this.states = new HashSet<>();\r\n        this.states.add(startState);\r\n        this.transitions = new HashSet<>();\r\n        this.acceptingStates = new HashSet<>();\r\n        this.alphabet = new HashSet<>();\r\n        this.completeAlphabet = new HashSet<>();\r\n        for(int i='a';i<='z';i++){\r\n            completeAlphabet.add((char)i);\r\n        }\r\n        this.isFinalized = false;\r\n\r\n    }\r\n\r\n    @Override\r\n    public Set<String> getStates() {\r\n        return this.states;\r\n    }\r\n\r\n    /*\r\n    public void safeAddStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {\r\n        for (String state : states) {\r\n            nfa.states.add(changeIfNecessary(state, toCheck));\r\n        }\r\n    }\r\n    */\r\n\r\n    @Override\r\n    public Collection<Transition> getTransitions() {\r\n        return this.transitions;\r\n    }\r\n\r\n    @Override\r\n    public Set<String> getAcceptingStates() {\r\n        return this.acceptingStates;\r\n    }\r\n\r\n    @Override\r\n    public String getInitialState() {\r\n        return this.initialState;\r\n    }\r\n\r\n    public Set<Character> getAlphabet() {\r\n        return this.alphabet;\r\n    }\r\n\r\n    @Override\r\n    public void addTransition(Transition transition) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        if (!states.contains(transition.fromState())) {\r\n            this.states.add(transition.fromState());\r\n        }\r\n        if (!states.contains(transition.toState())) {\r\n            this.states.add(transition.toState());\r\n        }\r\n        // add symbol to alphabet. If it is already in the alphabet, nothing happens\r\n        if (transition.readSymbol() != null) {\r\n            this.alphabet.add(transition.readSymbol());\r\n        }\r\n        this.transitions.add(transition);\r\n    }\r\n\r\n    public void addAllTransitions(Set<Transition> transitions) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        for (Transition transition : transitions) {\r\n            this.addTransition(transition);\r\n        }\r\n    }\r\n\r\n    @Override\r\n    public void addAcceptingState(String state) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        this.states.add(state);\r\n        this.acceptingStates.add(state);\r\n    }\r\n\r\n    public void addAllAcceptingStates(Set<String> states) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        for (String state : states) {\r\n            this.addAcceptingState(state);\r\n        }\r\n    }\r\n\r\n    public void safeAddAcceptingStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {\r\n        for (String state : states) {\r\n            nfa.addAcceptingState(changeIfNecessary(state, toCheck));\r\n        }\r\n    }\r\n\r\n    // #TODO\r\n    // write more testcases\r\n    @Override\r\n    public NFA union(NFA other) throws FinalizedStateException {\r\n        if (!this.isFinalized || !other.isFinalized()) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        // new initialState with epsilon to initialState of this and other.\r\n        // Problem: what if states are called the same in this and other + what do we use as initialState?\r\n        NFAImpl unionNFA = new NFAImpl(this.getInitialState());\r\n\r\n        unionNFA.states.addAll(this.states);\r\n\r\n        unionNFA.addAllAcceptingStates(this.acceptingStates);\r\n\r\n        Set<String> otherAcceptingStates = new HashSet<>(other.getAcceptingStates());\r\n        unionNFA.safeAddAcceptingStates(this.acceptingStates, otherAcceptingStates, unionNFA);\r\n\r\n\r\n        Set<Transition> newTransitions = new HashSet<>();\r\n        for (Transition transition : other.getTransitions()) {\r\n            Transition newTransition =\r\n                    new Transition(transition.fromState(), transition.readSymbol(), transition.toState());\r\n            newTransitions.add(newTransition);\r\n        }\r\n        String flag = \"\";\r\n        newTransitions.add(new Transition(flag, null, other.getInitialState()));\r\n\r\n        for (String state : other.getStates()) {\r\n            if (!unionNFA.states.contains(state)) {\r\n                unionNFA.states.add(state);\r\n                if (other.getAcceptingStates().contains(state)) {\r\n                    unionNFA.acceptingStates.add(state);\r\n                }\r\n            } else {\r\n                // a state of other has the same name as one in this.\r\n                // change name of state and every Transition it is a part of in other\r\n                String newState = changeIfNecessary(state, unionNFA.states);\r\n\r\n                // wieder a neues set\r\n                Set<Transition> tempTransitions = new HashSet<>();\r\n\r\n                // check each transition of other if start or to state was state\r\n                for (Transition transition : newTransitions) {\r\n                    if (transition.fromState().equals(state)) {\r\n                        transition = new Transition(newState, transition.readSymbol(), transition.toState());\r\n                    }\r\n                    if (transition.toState().equals(state)) {\r\n                        transition = new Transition(transition.fromState(), transition.readSymbol(), newState);\r\n                    }\r\n                    tempTransitions.add(transition);\r\n                }\r\n                for (String accState : other.getAcceptingStates()) {\r\n                    if (accState.equals(state)) {\r\n                        unionNFA.acceptingStates.add(newState);\r\n                    }\r\n                }\r\n                newTransitions = tempTransitions; // Replace the original set with the updated set\r\n            }\r\n        }\r\n        // add, alphabet\r\n\r\n        Iterator<Transition> iterator = newTransitions.iterator();\r\n        while (iterator.hasNext()){\r\n            Transition transition = iterator.next();\r\n            if(transition.fromState().isEmpty()){\r\n                iterator.remove();\r\n\r\n                newTransitions.add(new Transition(unionNFA.initialState, transition.readSymbol(), transition.toState()));\r\n                break;\r\n            }\r\n        }\r\n\r\n        unionNFA.addAllTransitions(newTransitions);\r\n\r\n        unionNFA.addAllTransitions(this.transitions);\r\n\r\n        unionNFA.finalizeAutomaton();\r\n\r\n\r\n        return unionNFA;\r\n    }\r\n\r\n    // #TODO\r\n    // needs to work with a DFA not NFA\r\n    @Override\r\n    public NFA intersection(NFA other) throws FinalizedStateException {\r\n        if (!this.isFinalized || !other.isFinalized()) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        NFAImpl intersectionNFA = new NFAImpl(this.initialState);\r\n\r\n        intersectionNFA.states.addAll(this.states);\r\n        intersectionNFA.states.retainAll(other.getStates());\r\n\r\n        intersectionNFA.transitions.addAll(this.transitions);\r\n        intersectionNFA.transitions.retainAll(other.getTransitions());\r\n\r\n        return intersectionNFA;\r\n    }\r\n\r\n    @Override\r\n    public NFA concatenation(NFA other) throws FinalizedStateException {\r\n        if (!this.isFinalized || !other.isFinalized()) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        NFAImpl concatenationNFA = new NFAImpl(this.initialState);\r\n\r\n        // Add states from 'this'\r\n        concatenationNFA.states.addAll(this.states);\r\n\r\n        // Add states from 'other', with renaming if necessary\r\n        Map<String, String> renamedStates = new HashMap<>();\r\n        for (String state : other.getStates()) {\r\n            String newState = changeIfNecessary(state, concatenationNFA.states);\r\n            renamedStates.put(state, newState); // Old state name -> New state name\r\n            concatenationNFA.states.add(newState);\r\n        }\r\n\r\n        // Add transitions from 'this'\r\n        concatenationNFA.transitions.addAll(this.transitions);\r\n\r\n        // Add transitions from 'other', updating state names\r\n        for (Transition transition : other.getTransitions()) {\r\n            String newFromState = renamedStates.getOrDefault(transition.fromState(), transition.fromState());\r\n            String newToState = renamedStates.getOrDefault(transition.toState(), transition.toState());\r\n            Transition newTransition = new Transition(newFromState, transition.readSymbol(), newToState);\r\n            concatenationNFA.transitions.add(newTransition);\r\n        }\r\n\r\n        // Connect accepting states of 'this' to the initial state of 'other' with epsilon transitions\r\n        String newOtherInitialState = renamedStates.getOrDefault(other.getInitialState(), other.getInitialState());\r\n        for (String acceptingState : this.acceptingStates) {\r\n            Transition epsilon = new Transition(acceptingState, null, newOtherInitialState);\r\n            concatenationNFA.transitions.add(epsilon);\r\n        }\r\n\r\n        // Set accepting states of the concatenated NFA to be the accepting states of 'other'\r\n        concatenationNFA.acceptingStates.clear();\r\n        for (String acceptingState : other.getAcceptingStates()) {\r\n            concatenationNFA.acceptingStates.add(renamedStates.getOrDefault(acceptingState, acceptingState));\r\n        }\r\n\r\n        concatenationNFA.finalizeAutomaton();\r\n\r\n        return concatenationNFA;\r\n    }\r\n\r\n\r\n    @Override\r\n    public NFA kleeneStar() throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        NFAImpl nfa = new NFAImpl(this.initialState);\r\n\r\n        // copy, but without accepting states\r\n        nfa.states.addAll(this.states);\r\n        nfa.addAllTransitions(this.transitions);\r\n\r\n        // adding the initial state as accepting state because we have to accept the empty string\r\n        nfa.acceptingStates.add(this.initialState);\r\n\r\n        // for each accepting state\r\n        for (String acceptingState : this.getAcceptingStates()) {\r\n            Transition loopBackTransition =\r\n                    // creating an epsilon transition (null) for each accepting state\r\n                    new Transition(acceptingState, null, this.initialState);\r\n            nfa.transitions.add(loopBackTransition);\r\n        }\r\n\r\n        nfa.finalizeAutomaton();\r\n\r\n        return nfa;\r\n    }\r\n\r\n    @Override\r\n    public NFA plusOperator() throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        String newInitialState = \"newSTART\";\r\n        NFAImpl nfa = new NFAImpl(newInitialState);\r\n\r\n        // simple copy\r\n        nfa.states.addAll(this.states);\r\n        nfa.transitions.addAll(this.transitions);\r\n        nfa.acceptingStates.addAll(this.acceptingStates);\r\n\r\n        nfa.transitions.add(new Transition(newInitialState, null, this.initialState));\r\n\r\n\r\n        for (String acceptingState : this.acceptingStates) {\r\n            nfa.transitions.add(new Transition(acceptingState, null, newInitialState));\r\n        }\r\n\r\n        /*\r\n        // for each accepting state\r\n        for (String acceptingState : this.acceptingStates) {\r\n            Transition loopBackTransition =\r\n                    // creating an epsilon transition (null) for each accepting state\r\n                    new Transition(acceptingState, null, this.initialState);\r\n            if (!nfa.transitions.contains(loopBackTransition)) {\r\n                nfa.transitions.add(loopBackTransition);\r\n            }\r\n        }\r\n        */\r\n\r\n        nfa.finalizeAutomaton();\r\n\r\n        return nfa;\r\n    }\r\n\r\n    // #TODO\r\n    @Override\r\n    public NFA complement() throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        // create a copy of this NFA\r\n        NFAImpl nfa = new NFAImpl(this.initialState);\r\n        nfa.states.addAll(this.states);\r\n        nfa.addAllTransitions(this.transitions);\r\n        nfa.addAllAcceptingStates(this.acceptingStates);\r\n\r\n        nfaAddTrap(nfa);\r\n\r\n        NFAImpl fakeNFA = convertNFAtoDFA(nfa);\r\n\r\n        // state -> accepting\r\n        // accepting -> state\r\n\r\n        Set<String> newAcceptingState = new HashSet<>();\r\n\r\n        for (String state : fakeNFA.getStates()) {\r\n            if (!fakeNFA.getAcceptingStates().contains(state)) {\r\n                newAcceptingState.add(state);\r\n            }\r\n        }\r\n        fakeNFA.acceptingStates.clear();\r\n        fakeNFA.addAllAcceptingStates(newAcceptingState);\r\n\r\n        Set<Character> originalAlphabet = new HashSet<>(fakeNFA.alphabet);\r\n\r\n        fakeNFA.alphabet.clear();\r\n\r\n        Set<Character> newAlphabet = new HashSet<>();\r\n\r\n        for (char ch = 'a'; ch <= 'z'; ch++) {\r\n            if (!originalAlphabet.contains(ch)) {\r\n                newAlphabet.add(ch);\r\n            }\r\n        }\r\n\r\n        for (Transition transition : fakeNFA.transitions) {\r\n            for (Character letter : newAlphabet) {\r\n                fakeNFA.addTransition(new Transition(transition.fromState(), letter, transition.toState()));\r\n            }\r\n        }\r\n\r\n        fakeNFA.alphabet = newAlphabet;\r\n\r\n        fakeNFA.finalizeAutomaton();\r\n\r\n        return fakeNFA;\r\n    }\r\n\r\n    @Override\r\n    public boolean isFinalized() {\r\n        return isFinalized;\r\n    }\r\n\r\n    @Override\r\n    public void finalizeAutomaton() {\r\n        this.isFinalized = true;\r\n    }\r\n\r\n    // #TODO\r\n    @Override\r\n    public boolean isFinite() {\r\n        //transitions={fromState==toState}\r\n        //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}\r\n        //obergrenze = anzahl der states (26)\r\n        return false;\r\n    }\r\n\r\n    // #TODO\r\n    @Override\r\n    public boolean acceptsWord(String word) throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        char[] wordArray = word.toCharArray();\r\n\r\n        Set<String> currentStates = new HashSet<>();\r\n        currentStates.add(this.initialState);\r\n        currentStates = (epsilonClosure(currentStates, this));\r\n\r\n        for (char letter : wordArray) {\r\n            // schritt a\r\n            currentStates = getStateAfterTransition(currentStates, letter, this);\r\n            // schritt b\r\n            currentStates = epsilonClosure(currentStates, this);\r\n        }\r\n\r\n\r\n\r\n        return isAcceptingState(currentStates, this);\r\n    }\r\n\r\n    public NFAImpl convertNFAtoDFA(NFAImpl input) {\r\n\r\n        // all accepting states of the DFA\r\n        Set<String> dfaAcceptingStates = new HashSet<>();\r\n        // all states of the DFA\r\n        List<Set<String>> dfaStates = new ArrayList<>();\r\n        // all transitions of the DFA\r\n        Set<Transition> dfaTransitions = new HashSet<>();\r\n\r\n        // all states of the NFA\r\n        Set<String> startState = new HashSet<>();\r\n        startState.add(input.getInitialState());\r\n\r\n        // getting the epsilon closure of the start state\r\n        startState = epsilonClosure(startState, input);\r\n        dfaStates.add(startState);\r\n        if (isAcceptingState(startState, input)) {\r\n            dfaAcceptingStates.add(getIndexOfSet(startState, dfaStates));\r\n        }\r\n\r\n        // do the above with each DFA state\r\n        Queue<Set<String>> queue = new LinkedList<>();\r\n        queue.add(startState);\r\n        // iterate each Letter\r\n        while (!queue.isEmpty()) {\r\n            Set<String> currentState = queue.poll();\r\n            // for each possible Letter\r\n            for (char letter : input.getAlphabet()) {\r\n                // get the new state after the transition\r\n                Set<String> newState = epsilonClosure(getStateAfterTransition(currentState, letter, input), input);\r\n                if (!dfaStates.contains(newState)) {\r\n                    queue.add(newState);\r\n                    dfaStates.add(newState);\r\n                    if (isAcceptingState(newState, input)) {\r\n                        dfaAcceptingStates.add(getIndexOfSet(newState, dfaStates));\r\n                    }\r\n\r\n                }\r\n\r\n                // build new Transition\r\n                dfaTransitions.add(new Transition(getIndexOfSet(currentState, dfaStates), letter, getIndexOfSet(newState, dfaStates)));\r\n            }\r\n        }\r\n\r\n        NFAImpl newDFA = new NFAImpl(\"0\");\r\n\r\n        for (int i = 0; i < dfaStates.size(); i++) {\r\n            newDFA.states.add(\"\" + i);\r\n        }\r\n\r\n        newDFA.addAllTransitions(dfaTransitions);\r\n        newDFA.addAllAcceptingStates(dfaAcceptingStates);\r\n\r\n        return newDFA;\r\n    }\r\n\r\n    private Set<String> epsilonClosure(Set<String> states, NFA nfa) {\r\n        Set<String> closure = new HashSet<>(states);\r\n        Stack<String> stack = new Stack<>();\r\n        stack.addAll(states);\r\n        while (!stack.isEmpty()) {\r\n            String state = stack.pop();\r\n            for (Transition transition : nfa.getTransitions()) {\r\n                if (transition.fromState().equals(state) && transition.readSymbol() == null) {\r\n                    if (closure.add(transition.toState())) {\r\n                        stack.push(transition.toState());\r\n                    }\r\n                }\r\n            }\r\n        }\r\n        return closure;\r\n    }\r\n\r\n    private Set<String> getStateAfterTransition(Set<String> states, char symbol, NFA nfa) {\r\n        Set<String> result = new HashSet<>();\r\n        for (String state : states) {\r\n            for (Transition transition : nfa.getTransitions()) {\r\n                if (transition.fromState().equals(state) && transition.readSymbol() != null && transition.readSymbol() == symbol) {\r\n                    result.add(transition.toState());\r\n                }\r\n            }\r\n        }\r\n        return result;\r\n    }\r\n\r\n    private boolean isAcceptingState(Set<String> states, NFA input) {\r\n        for (String accState : input.getAcceptingStates()) {\r\n            if (states.contains(accState)) {\r\n                return true;\r\n            }\r\n        }\r\n        return false;\r\n    }\r\n\r\n    private String getIndexOfSet(Set<String> set, List<Set<String>> dfaStates) {\r\n        return Integer.toString(dfaStates.indexOf(set));\r\n    }\r\n\r\n    private String changeIfNecessary(String str, Set<String> toCheck) {\r\n        while (toCheck.contains(str)) {\r\n            str = str + \"1\";\r\n        }\r\n        return str;\r\n    }\r\n\r\n    private void nfaAddTrap(NFAImpl input){\r\n        String trap = changeIfNecessary(\"TRAP\", input.getStates());\r\n        input.states.add(trap);\r\n        Set<Transition> newTransitions = new HashSet<>();\r\n        for(String state : input.getStates()){\r\n            for(char letter : completeAlphabet){\r\n                boolean hasTransition = false;\r\n                for(Transition transition : input.getTransitions()){\r\n                    if(transition.fromState().equals(state)&&transition.readSymbol().equals(letter)){\r\n                        hasTransition = true;\r\n                        break;\r\n                    }\r\n                }\r\n                if(!hasTransition){\r\n                    newTransitions.add(new Transition(state, letter, trap));\r\n                }\r\n            }\r\n        }\r\n        input.addAllTransitions(newTransitions);    //input.transitions.addAll(newTransitions);\r\n    }\r\n\r\n}\r\n
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java	
++++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java	
+@@ -206,15 +206,11 @@
+         if (!this.isFinalized || !other.isFinalized()) {
+             throw new FinalizedStateException();
+         }
+-        NFAImpl intersectionNFA = new NFAImpl(this.initialState);
+-
+-        intersectionNFA.states.addAll(this.states);
+-        intersectionNFA.states.retainAll(other.getStates());
+-
+-        intersectionNFA.transitions.addAll(this.transitions);
+-        intersectionNFA.transitions.retainAll(other.getTransitions());
+-
+-        return intersectionNFA;
++        NFA newFNA_A = this.complement();
++        NFA newNFA_B = other.complement();
++        NFA unionNFA = newFNA_A.union(newNFA_B);
++        NFA result = unionNFA.complement();
++        return result;
+     }
+ 
+     @Override
+@@ -345,7 +341,7 @@
+         nfa.addAllTransitions(this.transitions);
+         nfa.addAllAcceptingStates(this.acceptingStates);
+ 
+-        nfaAddTrap(nfa);
++        nfaAddTrap(nfa); //error on last occasion
+ 
+         NFAImpl fakeNFA = convertNFAtoDFA(nfa);
+ 
+@@ -555,6 +551,9 @@
+             }
+         }
+         input.addAllTransitions(newTransitions);    //input.transitions.addAll(newTransitions);
++        for(char letter : completeAlphabet){
++            input.getAlphabet().add(letter);
++        }
+     }
+ 
+ }
+Index: .idea/workspace.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"AutoImportSettings\">\r\n    <option name=\"autoReloadType\" value=\"SELECTIVE\" />\r\n  </component>\r\n  <component name=\"ChangeListManager\">\r\n    <list default=\"true\" id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"concat GEHT\" />\r\n    <list id=\"39d4ccb3-eae9-4ed4-996a-5a13f44678fa\" name=\"Changes by carol\" comment=\"\" />\r\n    <option name=\"SHOW_DIALOG\" value=\"false\" />\r\n    <option name=\"HIGHLIGHT_CONFLICTS\" value=\"true\" />\r\n    <option name=\"HIGHLIGHT_NON_ACTIVE_CHANGELIST\" value=\"false\" />\r\n    <option name=\"LAST_RESOLUTION\" value=\"IGNORE\" />\r\n  </component>\r\n  <component name=\"Git.Settings\">\r\n    <option name=\"RECENT_BRANCH_BY_REPOSITORY\">\r\n      <map>\r\n        <entry key=\"$PROJECT_DIR$\" value=\"main\" />\r\n      </map>\r\n    </option>\r\n    <option name=\"RECENT_GIT_ROOT_PATH\" value=\"$PROJECT_DIR$\" />\r\n  </component>\r\n  <component name=\"GitLabMergeRequestFiltersHistory\">{\r\n  &quot;lastFilter&quot;: {\r\n    &quot;state&quot;: &quot;OPENED&quot;,\r\n    &quot;assignee&quot;: {\r\n      &quot;type&quot;: &quot;org.jetbrains.plugins.gitlab.mergerequest.ui.filters.GitLabMergeRequestsFiltersValue.MergeRequestsMemberFilterValue.MergeRequestsAssigneeFilterValue&quot;,\r\n      &quot;username&quot;: &quot;rawalcher&quot;,\r\n      &quot;fullname&quot;: &quot;rawalcher&quot;\r\n    }\r\n  }\r\n}</component>\r\n  <component name=\"GitLabMergeRequestsSettings\">{\r\n  &quot;selectedUrlAndAccountId&quot;: {\r\n    &quot;first&quot;: &quot;https://git-ainf.aau.at/rawalcher/theorethische-informatik-gruppe-10.git&quot;,\r\n    &quot;second&quot;: &quot;2afc8825-f511-4d8a-8cc1-901875567c84&quot;\r\n  }\r\n}</component>\r\n  <component name=\"MarkdownSettingsMigration\">\r\n    <option name=\"stateVersion\" value=\"1\" />\r\n  </component>\r\n  <component name=\"ProjectColorInfo\">{\r\n  &quot;associatedIndex&quot;: 2\r\n}</component>\r\n  <component name=\"ProjectId\" id=\"2afDcX9p9UZiDe6ife9RGZcJjKQ\" />\r\n  <component name=\"ProjectViewState\">\r\n    <option name=\"hideEmptyMiddlePackages\" value=\"true\" />\r\n    <option name=\"showLibraryContents\" value=\"true\" />\r\n  </component>\r\n  <component name=\"PropertiesComponent\">{\r\n  &quot;keyToString&quot;: {\r\n    &quot;RunOnceActivity.OpenProjectViewOnStart&quot;: &quot;true&quot;,\r\n    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,\r\n    &quot;WebServerToolWindowFactoryState&quot;: &quot;false&quot;,\r\n    &quot;full.screen.before.presentation.mode&quot;: &quot;false&quot;,\r\n    &quot;git-widget-placeholder&quot;: &quot;5-top-skill-issue-raphael&quot;,\r\n    &quot;ignore.virus.scanning.warn.message&quot;: &quot;true&quot;,\r\n    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,\r\n    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,\r\n    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,\r\n    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,\r\n    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,\r\n    &quot;project.structure.last.edited&quot;: &quot;Project&quot;,\r\n    &quot;project.structure.proportion&quot;: &quot;0.0&quot;,\r\n    &quot;project.structure.side.proportion&quot;: &quot;0.0&quot;,\r\n    &quot;settings.editor.selected.configurable&quot;: &quot;preferences.lookFeel&quot;,\r\n    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;\r\n  }\r\n}</component>\r\n  <component name=\"RunManager\" selected=\"JUnit.ab1 in ETI_Abgabe\">\r\n    <configuration name=\"ComplexTests.complement1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"complement1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.plus1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"plus1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.union1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"union1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1 in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <option name=\"TEST_OBJECT\" value=\"directory\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1.tests in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"TEST_OBJECT\" value=\"package\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"JetRunConfigurationType\">\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"KotlinStandaloneScriptRunConfigurationType\">\r\n      <option name=\"filePath\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <recent_temporary>\r\n      <list>\r\n        <item itemvalue=\"JUnit.ab1 in ETI_Abgabe\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.plus1Test\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.complement1Test\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.union1Test\" />\r\n        <item itemvalue=\"JUnit.ab1.tests in ETI_Abgabe\" />\r\n      </list>\r\n    </recent_temporary>\r\n  </component>\r\n  <component name=\"SharedIndexes\">\r\n    <attachedChunks>\r\n      <set>\r\n        <option value=\"jdk-21.0.1-openjdk-21.0.1-f644763e9732-f98dd351\" />\r\n      </set>\r\n    </attachedChunks>\r\n  </component>\r\n  <component name=\"SpellCheckerSettings\" RuntimeDictionaries=\"0\" Folders=\"0\" CustomDictionaries=\"0\" DefaultDictionary=\"application-level\" UseSingleDictionary=\"true\" transferred=\"true\" />\r\n  <component name=\"TaskManager\">\r\n    <task active=\"true\" id=\"Default\" summary=\"Default task\">\r\n      <changelist id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"\" />\r\n      <created>1704700820495</created>\r\n      <option name=\"number\" value=\"Default\" />\r\n      <option name=\"presentableId\" value=\"Default\" />\r\n      <updated>1704700820495</updated>\r\n      <workItem from=\"1704700821945\" duration=\"5461000\" />\r\n      <workItem from=\"1704712375384\" duration=\"4940000\" />\r\n      <workItem from=\"1704717343016\" duration=\"2934000\" />\r\n      <workItem from=\"1704750167689\" duration=\"2263000\" />\r\n    </task>\r\n    <task id=\"LOCAL-00001\" summary=\"changed a bit\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704734947115</created>\r\n      <option name=\"number\" value=\"00001\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00001\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704734947115</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00002\" summary=\"fucking hell\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704749802065</created>\r\n      <option name=\"number\" value=\"00002\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00002\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704749802065</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00003\" summary=\"Changes by danie\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704749806556</created>\r\n      <option name=\"number\" value=\"00003\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00003\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704749806556</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00004\" summary=\"fucking hell\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704749811525</created>\r\n      <option name=\"number\" value=\"00004\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00004\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704749811525</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00005\" summary=\"fucking hell\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704750289780</created>\r\n      <option name=\"number\" value=\"00005\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00005\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704750289780</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00006\" summary=\"concat GEHT\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704752332678</created>\r\n      <option name=\"number\" value=\"00006\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00006\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704752332678</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00007\" summary=\"concat GEHT\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704752420737</created>\r\n      <option name=\"number\" value=\"00007\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00007\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704752420737</updated>\r\n    </task>\r\n    <option name=\"localTasksCounter\" value=\"8\" />\r\n    <servers />\r\n  </component>\r\n  <component name=\"TypeScriptGeneratedFilesManager\">\r\n    <option name=\"version\" value=\"3\" />\r\n  </component>\r\n  <component name=\"VcsManagerConfiguration\">\r\n    <MESSAGE value=\"progress of 7/1\" />\r\n    <MESSAGE value=\"changed a bit\" />\r\n    <MESSAGE value=\"Changes by danie\" />\r\n    <MESSAGE value=\"fucking hell\" />\r\n    <MESSAGE value=\"concat GEHT\" />\r\n    <option name=\"LAST_COMMIT_MESSAGE\" value=\"concat GEHT\" />\r\n  </component>\r\n  <component name=\"XDebuggerManager\">\r\n    <breakpoint-manager>\r\n      <breakpoints>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>\r\n          <line>15</line>\r\n          <option name=\"timeStamp\" value=\"12\" />\r\n        </line-breakpoint>\r\n      </breakpoints>\r\n    </breakpoint-manager>\r\n    <watches-manager>\r\n      <configuration name=\"JUnit\">\r\n        <watch expression=\"((HashSet)((NFAImpl)testInstance).acceptingStates).toArray()[2]\" custom=\"java.util.HashSet,ab1.impl.GRUPPE.NFAImpl\" />\r\n      </configuration>\r\n    </watches-manager>\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/workspace.xml b/.idea/workspace.xml
+--- a/.idea/workspace.xml	
++++ b/.idea/workspace.xml	
+@@ -4,8 +4,18 @@
+     <option name="autoReloadType" value="SELECTIVE" />
+   </component>
+   <component name="ChangeListManager">
+-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="concat GEHT" />
++    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="complement1Test works&#10;fuck yea">
++      <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$/.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/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/NFAImpl.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.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="" />
++    <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" />
+@@ -46,28 +56,33 @@
+     <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;full.screen.before.presentation.mode&quot;: &quot;false&quot;,
+-    &quot;git-widget-placeholder&quot;: &quot;5-top-skill-issue-raphael&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.lookFeel&quot;,
+-    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
++  <component name="PropertiesComponent"><![CDATA[{
++  "keyToString": {
++    "JUnit.ComplexTests.complement1Test.executor": "Run",
++    "JUnit.ComplexTests.concat1Test.executor": "Debug",
++    "JUnit.ComplexTests.executor": "Run",
++    "JUnit.ab1.tests in ETI_Abgabe.executor": "Run",
++    "RunOnceActivity.OpenProjectViewOnStart": "true",
++    "RunOnceActivity.ShowReadmeOnStart": "true",
++    "WebServerToolWindowFactoryState": "false",
++    "full.screen.before.presentation.mode": "false",
++    "git-widget-placeholder": "main",
++    "ignore.virus.scanning.warn.message": "true",
++    "kotlin-language-version-configured": "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 name="RunManager" selected="JUnit.ab1 in ETI_Abgabe">
+-    <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++}]]></component>
++  <component name="RunManager" selected="JUnit.ComplexTests.intersection1Test">
++    <configuration name="ComplexTests" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+         <pattern>
+@@ -77,14 +92,12 @@
+       </extension>
+       <option name="PACKAGE_NAME" value="ab1.tests" />
+       <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
+-      <option name="METHOD_NAME" value="complement1Test" />
+-      <option name="TEST_OBJECT" value="method" />
+-      <dir value="$PROJECT_DIR$/src/test/java/ab1" />
++      <option name="TEST_OBJECT" value="class" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+     </configuration>
+-    <configuration name="ComplexTests.plus1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++    <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+         <pattern>
+@@ -94,14 +107,14 @@
+       </extension>
+       <option name="PACKAGE_NAME" value="ab1.tests" />
+       <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
+-      <option name="METHOD_NAME" value="plus1Test" />
++      <option name="METHOD_NAME" value="complement1Test" />
+       <option name="TEST_OBJECT" value="method" />
+       <dir value="$PROJECT_DIR$/src/test/java/ab1" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+     </configuration>
+-    <configuration name="ComplexTests.union1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++    <configuration name="ComplexTests.intersection1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+         <pattern>
+@@ -111,16 +124,24 @@
+       </extension>
+       <option name="PACKAGE_NAME" value="ab1.tests" />
+       <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
+-      <option name="METHOD_NAME" value="union1Test" />
++      <option name="METHOD_NAME" value="intersection1Test" />
+       <option name="TEST_OBJECT" value="method" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+     </configuration>
+-    <configuration name="ab1 in ETI_Abgabe" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++    <configuration name="ComplexTests.union1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+-      <option name="TEST_OBJECT" value="directory" />
+-      <dir value="$PROJECT_DIR$/src/test/java/ab1" />
++      <extension name="coverage">
++        <pattern>
++          <option name="PATTERN" value="ab1.tests.*" />
++          <option name="ENABLED" value="true" />
++        </pattern>
++      </extension>
++      <option name="PACKAGE_NAME" value="ab1.tests" />
++      <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
++      <option name="METHOD_NAME" value="union1Test" />
++      <option name="TEST_OBJECT" value="method" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+@@ -152,8 +173,8 @@
+     </configuration>
+     <recent_temporary>
+       <list>
+-        <item itemvalue="JUnit.ab1 in ETI_Abgabe" />
+-        <item itemvalue="JUnit.ComplexTests.plus1Test" />
++        <item itemvalue="JUnit.ComplexTests.intersection1Test" />
++        <item itemvalue="JUnit.ComplexTests" />
+         <item itemvalue="JUnit.ComplexTests.complement1Test" />
+         <item itemvalue="JUnit.ComplexTests.union1Test" />
+         <item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
+@@ -163,6 +184,7 @@
+   <component name="SharedIndexes">
+     <attachedChunks>
+       <set>
++        <option value="jdk-19.0.2-corretto-19.0.2-f644763e9732-1e16d6ec" />
+         <option value="jdk-21.0.1-openjdk-21.0.1-f644763e9732-f98dd351" />
+       </set>
+     </attachedChunks>
+@@ -178,7 +200,7 @@
+       <workItem from="1704700821945" duration="5461000" />
+       <workItem from="1704712375384" duration="4940000" />
+       <workItem from="1704717343016" duration="2934000" />
+-      <workItem from="1704750167689" duration="2263000" />
++      <workItem from="1704816386713" duration="410000" />
+     </task>
+     <task id="LOCAL-00001" summary="changed a bit">
+       <option name="closed" value="true" />
+@@ -188,67 +210,27 @@
+       <option name="project" value="LOCAL" />
+       <updated>1704734947115</updated>
+     </task>
+-    <task id="LOCAL-00002" summary="fucking hell">
+-      <option name="closed" value="true" />
+-      <created>1704749802065</created>
+-      <option name="number" value="00002" />
+-      <option name="presentableId" value="LOCAL-00002" />
+-      <option name="project" value="LOCAL" />
+-      <updated>1704749802065</updated>
+-    </task>
+-    <task id="LOCAL-00003" summary="Changes by danie">
+-      <option name="closed" value="true" />
+-      <created>1704749806556</created>
+-      <option name="number" value="00003" />
+-      <option name="presentableId" value="LOCAL-00003" />
+-      <option name="project" value="LOCAL" />
+-      <updated>1704749806556</updated>
+-    </task>
+-    <task id="LOCAL-00004" summary="fucking hell">
+-      <option name="closed" value="true" />
+-      <created>1704749811525</created>
+-      <option name="number" value="00004" />
+-      <option name="presentableId" value="LOCAL-00004" />
+-      <option name="project" value="LOCAL" />
+-      <updated>1704749811525</updated>
+-    </task>
+-    <task id="LOCAL-00005" summary="fucking hell">
+-      <option name="closed" value="true" />
+-      <created>1704750289780</created>
+-      <option name="number" value="00005" />
+-      <option name="presentableId" value="LOCAL-00005" />
+-      <option name="project" value="LOCAL" />
+-      <updated>1704750289780</updated>
+-    </task>
+-    <task id="LOCAL-00006" summary="concat GEHT">
+-      <option name="closed" value="true" />
+-      <created>1704752332678</created>
+-      <option name="number" value="00006" />
+-      <option name="presentableId" value="LOCAL-00006" />
+-      <option name="project" value="LOCAL" />
+-      <updated>1704752332678</updated>
+-    </task>
+-    <task id="LOCAL-00007" summary="concat GEHT">
+-      <option name="closed" value="true" />
+-      <created>1704752420737</created>
+-      <option name="number" value="00007" />
+-      <option name="presentableId" value="LOCAL-00007" />
+-      <option name="project" value="LOCAL" />
+-      <updated>1704752420737</updated>
+-    </task>
+-    <option name="localTasksCounter" value="8" />
++    <option name="localTasksCounter" value="2" />
+     <servers />
+   </component>
+   <component name="TypeScriptGeneratedFilesManager">
+     <option name="version" value="3" />
++  </component>
++  <component name="Vcs.Log.Tabs.Properties">
++    <option name="TAB_STATES">
++      <map>
++        <entry key="MAIN">
++          <value>
++            <State />
++          </value>
++        </entry>
++      </map>
++    </option>
+   </component>
+   <component name="VcsManagerConfiguration">
+     <MESSAGE value="progress of 7/1" />
+     <MESSAGE value="changed a bit" />
+-    <MESSAGE value="Changes by danie" />
+-    <MESSAGE value="fucking hell" />
+-    <MESSAGE value="concat GEHT" />
+-    <option name="LAST_COMMIT_MESSAGE" value="concat GEHT" />
++    <option name="LAST_COMMIT_MESSAGE" value="changed a bit" />
+   </component>
+   <component name="XDebuggerManager">
+     <breakpoint-manager>
+@@ -257,6 +239,31 @@
+           <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
+           <line>15</line>
+           <option name="timeStamp" value="12" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
++          <line>472</line>
++          <option name="timeStamp" value="21" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
++          <line>31</line>
++          <option name="timeStamp" value="24" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
++          <line>120</line>
++          <option name="timeStamp" value="25" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
++          <line>211</line>
++          <option name="timeStamp" value="28" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
++          <line>338</line>
++          <option name="timeStamp" value="39" />
+         </line-breakpoint>
+       </breakpoints>
+     </breakpoint-manager>
+Index: .idea/jarRepositories.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"RemoteRepositoriesConfiguration\">\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"central\" />\r\n      <option name=\"name\" value=\"libs-release\" />\r\n      <option name=\"url\" value=\"${env.ARTIFACTORY_URL}/maven\" />\r\n    </remote-repository>\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"snapshots\" />\r\n      <option name=\"name\" value=\"libs-snapshot\" />\r\n      <option name=\"url\" value=\"${env.ARTIFACTORY_URL}/maven\" />\r\n    </remote-repository>\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"central\" />\r\n      <option name=\"name\" value=\"Maven Central repository\" />\r\n      <option name=\"url\" value=\"https://repo1.maven.org/maven2\" />\r\n    </remote-repository>\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"jboss.community\" />\r\n      <option name=\"name\" value=\"JBoss Community repository\" />\r\n      <option name=\"url\" value=\"https://repository.jboss.org/nexus/content/repositories/public/\" />\r\n    </remote-repository>\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml
+--- a/.idea/jarRepositories.xml	
++++ b/.idea/jarRepositories.xml	
+@@ -7,6 +7,11 @@
+       <option name="url" value="${env.ARTIFACTORY_URL}/maven" />
+     </remote-repository>
+     <remote-repository>
++      <option name="id" value="central" />
++      <option name="name" value="Central Repository" />
++      <option name="url" value="https://repo.maven.apache.org/maven2" />
++    </remote-repository>
++    <remote-repository>
+       <option name="id" value="snapshots" />
+       <option name="name" value="libs-snapshot" />
+       <option name="url" value="${env.ARTIFACTORY_URL}/maven" />
+Index: .idea/misc.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"ExternalStorageConfigurationManager\" enabled=\"true\" />\r\n  <component name=\"MavenProjectsManager\">\r\n    <option name=\"originalFiles\">\r\n      <list>\r\n        <option value=\"$PROJECT_DIR$/pom.xml\" />\r\n      </list>\r\n    </option>\r\n  </component>\r\n  <component name=\"PWA\">\r\n    <option name=\"wasEnabledAtLeastOnce\" value=\"true\" />\r\n  </component>\r\n  <component name=\"ProjectRootManager\" version=\"2\" languageLevel=\"JDK_21\" default=\"true\" project-jdk-name=\"openjdk-21\" project-jdk-type=\"JavaSDK\">\r\n    <output url=\"file://$PROJECT_DIR$/out\" />\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/misc.xml b/.idea/misc.xml
+--- a/.idea/misc.xml	
++++ b/.idea/misc.xml	
+@@ -7,11 +7,12 @@
+         <option value="$PROJECT_DIR$/pom.xml" />
+       </list>
+     </option>
++    <option name="workspaceImportForciblyTurnedOn" value="true" />
+   </component>
+   <component name="PWA">
+     <option name="wasEnabledAtLeastOnce" value="true" />
+   </component>
+-  <component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="openjdk-21" project-jdk-type="JavaSDK">
++  <component name="ProjectRootManager" version="2" languageLevel="JDK_19" default="true" project-jdk-name="openjdk-19" project-jdk-type="JavaSDK">
+     <output url="file://$PROJECT_DIR$/out" />
+   </component>
+ </project>
+\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_.xml b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_.xml
new file mode 100644
index 0000000..aa7df08
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_.xml
@@ -0,0 +1,4 @@
+<changelist name="Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]" date="1704817679616" recycled="false" toDelete="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Checkout at 09.01.2024 17:27 [Changes]" />
+</changelist>
\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_1.xml b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_1.xml
new file mode 100644
index 0000000..d830bbc
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_1.xml
@@ -0,0 +1,24 @@
+<changelist name="Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1" date="1704817827727" recycled="true" deleted="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Checkout at 09.01.2024 17:27 [Changes]" />
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/impl/GRUPPE/NFAImpl.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/impl/GRUPPE/NFAImpl.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class" />
+  </binary>
+  <binary>
+    <option name="BEFORE_PATH" value="target/test-classes/ab1/tests/FinalizeTests.class" />
+    <option name="AFTER_PATH" value="target/test-classes/ab1/tests/FinalizeTests.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class" />
+  </binary>
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/Transition$TransitionBuilder.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/Transition$TransitionBuilder.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class" />
+  </binary>
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/Transition.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/Transition.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class" />
+  </binary>
+</changelist>
\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class
new file mode 100644
index 0000000..d84a881
Binary files /dev/null and b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class differ
diff --git a/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/shelved.patch
new file mode 100644
index 0000000..e69de29
diff --git a/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36__Changes_.xml b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36__Changes_.xml
new file mode 100644
index 0000000..809dfef
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36__Changes_.xml
@@ -0,0 +1,9 @@
+<changelist name="Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]" date="1704919017204" recycled="false" toDelete="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Update at 10.01.2024 21:36 [Changes]" />
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class" />
+  </binary>
+</changelist>
\ No newline at end of file
diff --git a/target/classes/ab1/impl/GRUPPE/NFAImpl.class b/target/classes/ab1/impl/GRUPPE/NFAImpl.class
new file mode 100644
index 0000000..b34c871
Binary files /dev/null and b/target/classes/ab1/impl/GRUPPE/NFAImpl.class differ
diff --git a/target/classes/ab1/impl/GRUPPE/Tuple.class b/target/classes/ab1/impl/GRUPPE/Tuple.class
new file mode 100644
index 0000000..cc75c29
Binary files /dev/null and b/target/classes/ab1/impl/GRUPPE/Tuple.class differ
diff --git a/target/test-classes/ab1/tests/myTests.class b/target/test-classes/ab1/tests/myTests.class
new file mode 100644
index 0000000..9928e25
Binary files /dev/null and b/target/test-classes/ab1/tests/myTests.class differ