diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 980c243..610a639 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,10 +4,10 @@
-
+
+
-
@@ -276,7 +276,15 @@
1704888180655
-
+
+
+ 1704896842030
+
+
+
+ 1704896842030
+
+
@@ -301,19 +309,20 @@
-
+
+
file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
- 344
+ 343
file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
- 356
+ 355
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAFactoryImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAFactoryImpl.java
index dadfdcf..ba6743a 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAFactoryImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAFactoryImpl.java
@@ -6,8 +6,6 @@ import ab1.NFAFactory;
public class NFAFactoryImpl implements NFAFactory {
@Override
public NFA buildNFA(String startState) {
- NFA nfa = new NFAImpl(startState);
-
- return nfa;
+ return new NFAImpl(startState);
}
}
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index 34f8062..15c1b90 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -16,7 +16,7 @@ public class NFAImpl implements NFA {
private Set alphabet;
- private Set completeAlphabet;
+ private final Set completeAlphabet;
private boolean isFinalized;
public NFAImpl(String startState) {
@@ -210,8 +210,7 @@ public class NFAImpl implements NFA {
NFA newNFA_A = this.complement();
NFA newNFA_B = other.complement();
NFA unionNFA = newNFA_A.union(newNFA_B);
- NFA result = unionNFA.complement();
- return result;
+ return unionNFA.complement();
}
@Override
@@ -447,7 +446,7 @@ public class NFAImpl implements NFA {
// need newLetter
for(int i=letters.indexOf(readSymbol)+1;i path, List transitions, List letters, Character letter){
+ private String checkForNewLetter(List path, List transitions, Character letter){
String fromState = path.get(path.size()-2).getElement_2();
for(Transition transition : transitions){
if (transition.fromState().equals(fromState) && transition.readSymbol().equals(letter)) {