コード例 #1
0
        public static void SaveAsRangeAutomaton(string regex, BitWidth encoding, string file, bool epsilonfree = false, bool determinize = false, int determinization_timeout_ms = 0)
        {
            var solver    = new CharRangeSolver(encoding);
            var converter = new RegexToAutomatonConverterRanges(solver);

            var A = converter.Convert(regex, System.Text.RegularExpressions.RegexOptions.None);

            if (epsilonfree)
            {
                A = A.RemoveEpsilons(solver.MkOr);
            }

            if (determinize)
            {
                A = A.RemoveEpsilons(solver.MkOr);
                A.CheckDeterminism(solver);
                A = A.Determinize(solver, determinization_timeout_ms);
            }
            //A.CheckDeterminism(solver,true);
            //if (!A.isDeterministic)
            //    throw new AutomataException(AutomataExceptionKind.InternalError);

            System.IO.StreamWriter sw = new System.IO.StreamWriter(file);
            sw.WriteLine(A.InitialState);
            foreach (var s in A.GetFinalStates())
            {
                sw.Write("{0} ", s);
            }
            sw.WriteLine();
            foreach (var move in A.GetMoves())
            {
                if (move.IsEpsilon)
                {
                    sw.WriteLine("{0} {1} {2} {3}", move.SourceState, -1, -1, move.TargetState);
                }
                else
                {
                    foreach (var range in move.Label)
                    {
                        sw.WriteLine("{0} {1} {2} {3}", move.SourceState, (int)range.First, (int)range.Second, move.TargetState);
                    }
                }
            }
            sw.Close();
        }
コード例 #2
0
        public static void SaveAsRangeAutomaton(string regex, BitWidth encoding, string file, bool epsilonfree = false, bool determinize = false, int determinization_timeout_ms = 0)
        {
            var solver = new CharRangeSolver(encoding);
            var converter = new RegexToAutomatonConverterRanges(solver);

            var A = converter.Convert(regex, System.Text.RegularExpressions.RegexOptions.None);
            if (epsilonfree)
                A = A.RemoveEpsilons();

            if (determinize)
            {
                A = A.RemoveEpsilons();
                A.CheckDeterminism();
                A = A.Determinize(determinization_timeout_ms);
            }
            //A.CheckDeterminism(solver,true);
            //if (!A.isDeterministic)
            //    throw new AutomataException(AutomataExceptionKind.InternalError);

            System.IO.StreamWriter sw = new System.IO.StreamWriter(file);
            sw.WriteLine(A.InitialState);
            foreach (var s in A.GetFinalStates())
                sw.Write("{0} ", s);
            sw.WriteLine();
            foreach (var move in A.GetMoves())
                if (move.IsEpsilon)
                    sw.WriteLine("{0} {1} {2} {3}", move.SourceState, -1, -1, move.TargetState);
                else
                    foreach (var range in move.Label)
                        sw.WriteLine("{0} {1} {2} {3}", move.SourceState, (int)range.First, (int)range.Second, move.TargetState);
            sw.Close();
        }