using System;

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

        public const int UNCLASSIFIED_INPUT = 0;
    }
}