From b879aed6eab4050d36227f33a5acfea2240f5d4f Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 23:20:20 +0100
Subject: [PATCH] concat GEHT

---
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index e678c18..a12af3e 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -3,21 +3,18 @@ package ab1.impl.GRUPPE;
 import ab1.FinalizedStateException;
 import ab1.NFA;
 import ab1.Transition;
-import lombok.Getter;
 
 import java.util.*;
 
 public class NFAImpl implements NFA {
-    private Set<String> states;
-    private Set<Transition> transitions;
+    private final Set<String> states;
+    private final Set<Transition> transitions;
 
-    private String initialState;
-    private Set<String> acceptingStates;
+    private final String initialState;
+    private final Set<String> acceptingStates;
 
     private Set<Character> alphabet;
 
-    private Set<Character> completeAlphabet;
-
     private boolean isFinalized;
 
     public NFAImpl(String startState) {
@@ -27,9 +24,9 @@ public class NFAImpl implements NFA {
         this.transitions = new HashSet<>();
         this.acceptingStates = new HashSet<>();
         this.alphabet = new HashSet<>();
-        this.completeAlphabet = new HashSet<>();
+        Set<Character> completeAlphabet = new HashSet<>();
         for (char ch = 'a'; ch <= 'z'; ch++) {
-            this.completeAlphabet.add(ch);
+            completeAlphabet.add(ch);
         }
         this.isFinalized = false;
 
@@ -40,11 +37,13 @@ public class NFAImpl implements NFA {
         return this.states;
     }
 
+    /*
     public void safeAddStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {
         for (String state : states) {
             nfa.states.add(changeIfNecessary(state, toCheck));
         }
     }
+    */
 
     @Override
     public Collection<Transition> getTransitions() {