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);
}