I'm trying to find CFG for the language $$L = \{ a^nb^mc^kd^l | n + k = m + l, (n,m,k,l) \in \mathbb{N} \}$$ and what I have done so far is to make PDA which simply does the following:
If on the stream there is "a" -> push $\xi$ in the stack
If on the stream there is "b" and the stack is empty -> push $\zeta$ in the stack
If on the stream there is "b" and there is $\xi$ in the stack then while there are $\xi$ in the stack read b from the stream and pop $\xi$.
If there is "b" on the stream and no $\xi$ left in the stack continue reading "b" and push $\zeta$.
And so on counting the a,b,c and d's which I get, but the problem is that my transition function is getting really big and I'm gonna have some troubles to convert it into CFG, so there must be straightforward way to do it and seems I can't find it.
Can somebody help me, please?