https://9dok.net/document/z3dxo7wm-b-context-free-languages-normal-form-and-pda.html