lib: Change in set operations grammar

lib/parser/SET.g4

@@ -26,10 +26,12 @@ unop
 parentheses:  LEFT_PAR expr[0] RIGHT_PAR;
 
 atom_set 
-  : LEFT_BR ( | symbol | symbol (COMMA symbol) ) RIGHT_BR
+  : LEFT_BR ( | word ( | COMMA word) ) RIGHT_BR
   | EMPTYSET
   ;
 
+word : symbol+;
+
 symbol : (ALPHABET | EPSILON | QUOTE anyvalue+ QUOTE);
 
 comment: (HASH anyvalue* | );

lib/parser/SETListener.py

@@ -62,6 +62,15 @@ class SETListener(ParseTreeListener):
         pass
 
 
+    # Enter a parse tree produced by SETParser#word.
+    def enterWord(self, ctx:SETParser.WordContext):
+        pass
+
+    # Exit a parse tree produced by SETParser#word.
+    def exitWord(self, ctx:SETParser.WordContext):
+        pass
+
+
     # Enter a parse tree produced by SETParser#symbol.
     def enterSymbol(self, ctx:SETParser.SymbolContext):
         pass

lib/parser/SETVisitor.py

@@ -39,6 +39,11 @@ class SETVisitor(ParseTreeVisitor):
         return self.visitChildren(ctx)
 
 
+    # Visit a parse tree produced by SETParser#word.
+    def visitWord(self, ctx:SETParser.WordContext):
+        return self.visitChildren(ctx)
+
+
     # Visit a parse tree produced by SETParser#symbol.
     def visitSymbol(self, ctx:SETParser.SymbolContext):
         return self.visitChildren(ctx)

lib/parser/__init__.py

@@ -76,7 +76,7 @@ def dfa_to_str(dfa: DFA, full: bool = False) -> str:
         transition += f"({state_1.name},{character.name})={dest_state.name} "
 
     init = f"init={dfa.init.name}"
-    final = f"final={_names_to_str(dfa.final)}"
+    final = f"final={_names_to_str(sorted(dfa.final))}"
 
     # full - verbose description of DFA - only for development, dismiss later
     if full:
@@ -123,7 +123,7 @@ def nfa_to_str(nfa: NFA, full: bool = False) -> str:
             f"{_names_to_str(dest_states)} "
 
     init = f"init={nfa.init.name}"
-    final = f"final={_names_to_str(nfa.final)}"
+    final = f"final={_names_to_str(sorted(nfa.final))}"
 
     if full:
         return f"NFA = ({_names_to_str(nfa.states)}, " \