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 states; - private Set transitions; + private final Set states; + private final Set transitions; - private String initialState; - private Set acceptingStates; + private final String initialState; + private final Set acceptingStates; private Set alphabet; - private Set 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 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 states, Set toCheck, NFAImpl nfa) { for (String state : states) { nfa.states.add(changeIfNecessary(state, toCheck)); } } + */ @Override public Collection getTransitions() {