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

        public const int UnclassifiedInput = 0;
    }
}