https://www.theoryofcomputation.co/context-free-grammars-and-pushdown-automata/