I\'m designing a pushdown automata (δ: Q x Σε x Γε → P(Q x Γ*) for this language:
L = {uv^(-1)awz | u, z \\in {a, b}+, v, w \\in {c, d}+, v part of the word i
