namespace Implab.Automaton {
    public static class AutomatonConst {
        public const int UNREACHABLE_STATE = -1;

        public const int UNCLASSIFIED_INPUT = 0;
    }
}