diff --git a/Implab/Automaton/AutomatonConst.cs b/Implab/Automaton/AutomatonConst.cs --- a/Implab/Automaton/AutomatonConst.cs +++ b/Implab/Automaton/AutomatonConst.cs @@ -1,6 +1,6 @@  namespace Implab.Automaton { - public static class DFAConst { + public static class AutomatonConst { public const int UNREACHABLE_STATE = -1; public const int UNCLASSIFIED_INPUT = 0; diff --git a/Implab/Automaton/RegularExpressions/RegularDFA.cs b/Implab/Automaton/RegularExpressions/RegularDFA.cs --- a/Implab/Automaton/RegularExpressions/RegularDFA.cs +++ b/Implab/Automaton/RegularExpressions/RegularDFA.cs @@ -2,12 +2,12 @@ using System.Linq; namespace Implab.Automaton.RegularExpressions { - public class TaggedDFA : DFATable, ITaggedDFABuilder { + public class RegularDFA : DFATable, ITaggedDFABuilder { readonly Dictionary m_tags = new Dictionary(); readonly IAlphabet m_alphabet; - public TaggedDFA(IAlphabet alphabet) { + public RegularDFA(IAlphabet alphabet) { Safe.ArgumentNotNull(alphabet, "aplhabet"); m_alphabet = alphabet; @@ -48,10 +48,10 @@ namespace Implab.Automaton.RegularExpres /// Optimize the specified alphabet. /// /// Пустой алфавит, который будет зполнен в процессе оптимизации. - public TaggedDFA Optimize(IAlphabetBuilder alphabet) { + public RegularDFA Optimize(IAlphabetBuilder alphabet) { Safe.ArgumentNotNull(alphabet, "alphabet"); - var dfa = new TaggedDFA(alphabet); + var dfa = new RegularDFA(alphabet); var states = new DummyAlphabet(StateCount); var alphaMap = new Dictionary(); diff --git a/Implab/Formats/JSON/JSONScanner.cs b/Implab/Formats/JSON/JSONScanner.cs --- a/Implab/Formats/JSON/JSONScanner.cs +++ b/Implab/Formats/JSON/JSONScanner.cs @@ -12,8 +12,8 @@ namespace Implab.Formats.JSON { public class JSONScanner : Disposable { readonly StringBuilder m_builder = new StringBuilder(); - readonly ScannerContext m_jsonContext = JSONGrammar.Instance.JsonDFA; - readonly ScannerContext m_stringContext = JSONGrammar.Instance.JsonStringDFA; + readonly ScannerContext m_jsonContext = JSONGrammar.Instance.JsonExpression; + readonly ScannerContext m_stringContext = JSONGrammar.Instance.JsonStringExpression; readonly TextScanner m_scanner;