)} instead of })= 1 to ≥ 1( ( a )* ( b.( b )*) ) to ( ( a* )( b ( b* ) ) )digits(ε|.digits)(ε|E(ε|+|-)digits) to digits.(ε|digits)where w in Δ*, to where w in Δ* and f in F,qay to qy to qay to pyi{ to l{( ( a )( ( ( b )|( c ) ) )* ) to ( a( (b|c)* ) ) Γ = {S, C}, to Γ = {S, C, a},|x_0 x_1 … x_n| ≠ ε1 ≤ i ≤ n, insert new condition X_1 X_2 … X_n ≠ ε, |x_0 x_1 … x_n| ≥ 1 with |X_1 X_2 … X_n| ≥ 1insert Λθ_5 onto the pushdown to insert V into the inputinsert )θ_6 onto the pushdown to insert )θ_12 onto the pushdowngoto[θ_1, E] = θ_3 to goto[θ_1, E] = θ_2Thanks to the readers who contributed the corrections.