Minor changes

SUL-neovim.py

@@ -11,7 +11,7 @@ seed(100)  # all experiments will be reproducible
 
 class MooreSUL(SUL):
     """
-    System under learning for Mealy machine
+    System under learning for Moore machine
     """
 
     def __init__(self):
@@ -24,7 +24,7 @@ class MooreSUL(SUL):
                           'niV': 'Virtual Replace Normal', 'niR': 'Replace Normal', 'Rx': 'Replace Ctrl-X Mode', 'Rc': 'Replace Command-line completion',
                           'r': 'Hit-enter prompt', 'cv': 'Ex mode', 'rm': 'The more prompt', 't': 'Terminal',
                           # new modes added by vim on the path 8.2.3236
-                          'vs': 'Select Visual', 'Vs': 'Select Visual Line', '\x16s': 'Select Visual Block'}
+                          'vs': 'Select Visual', 'Vs': 'Select Visual Line', '\x16s': 'Select Visual Block', 'nt': 'Normal in terminal-emulator', 't': 'Terminal mode'}
 
         # self.n = neovim.attach(
         #     "child", argv=['/bin/env', 'nvim', '--clean', '--embed', '--headless'])
@@ -143,6 +143,6 @@ state_origin_eq_oracle = StatePrefixEqOracle(
 learned_moore = run_Lstar(input_al, sul, state_origin_eq_oracle, cex_processing='rs',
                           closing_strategy='single', automaton_type='moore', cache_and_non_det_check=True, print_level=3)
 
-visualize_automaton(learned_moore, file_type='svg')
+# visualize_automaton(learned_moore, file_type='svg')
 
 save_automaton_to_file(learned_moore, path='nvim-moore', file_type='dot')