Ejemplo n.º 1
0
        public static PDA <A, S> ToDPDAWithNormalEpsilonTransitions(PDA <A, S> dpda)
        {
            Assertion.Assert(dpda.Deterministic, "the epsilon transitions can only be normalized for a deterministic PDA, but the given is not");

            var res = dpda.Clone();

            CorrectEpsilonTransitions(res);
            return(res);
        }