Loading lib/grammars.py +1 −1 Original line number Diff line number Diff line Loading @@ -97,7 +97,7 @@ class RegGrammar: def eliminate_useless(self) -> RegGrammar: grammar = deepcopy(self) helper = Nonterminal("helper_nonterminal") helper = Nonterminal("<helpernonterminal>") previous: Set[Nonterminal] = set() actual: Set[Nonterminal] = {helper} while previous != actual: Loading lib/reg.py +1 −1 Original line number Diff line number Diff line Loading @@ -51,7 +51,7 @@ class NFA(NFA): rules[nonterminal1].add(terminal) if self.init in self.final: new_init = Nonterminal("new_init") new_init = Nonterminal("<newinit>") rules[new_init] = {Eps()} for rule in rules[init]: rules[new_init].add(rule) Loading lib/regex.py +2 −2 Original line number Diff line number Diff line Loading @@ -86,8 +86,8 @@ class RegEx: self.expression = expression def regex_to_efa(self) -> NFA: init = State("init") final = State("final") init = State("init_state") final = State("final_state") states: Set[State] = {init, final} transition: Dict[Tuple[State, AST], Set[State]] = dict() transition[init, self.expression] = {final} Loading Loading
lib/grammars.py +1 −1 Original line number Diff line number Diff line Loading @@ -97,7 +97,7 @@ class RegGrammar: def eliminate_useless(self) -> RegGrammar: grammar = deepcopy(self) helper = Nonterminal("helper_nonterminal") helper = Nonterminal("<helpernonterminal>") previous: Set[Nonterminal] = set() actual: Set[Nonterminal] = {helper} while previous != actual: Loading
lib/reg.py +1 −1 Original line number Diff line number Diff line Loading @@ -51,7 +51,7 @@ class NFA(NFA): rules[nonterminal1].add(terminal) if self.init in self.final: new_init = Nonterminal("new_init") new_init = Nonterminal("<newinit>") rules[new_init] = {Eps()} for rule in rules[init]: rules[new_init].add(rule) Loading
lib/regex.py +2 −2 Original line number Diff line number Diff line Loading @@ -86,8 +86,8 @@ class RegEx: self.expression = expression def regex_to_efa(self) -> NFA: init = State("init") final = State("final") init = State("init_state") final = State("final_state") states: Set[State] = {init, final} transition: Dict[Tuple[State, AST], Set[State]] = dict() transition[init, self.expression] = {final} Loading