Formal Languages and Logic/Chomsky grammars

Productions will be denoted as $$\alpha \to \beta$$ instead of the tuple notation $$(\alpha, \beta)$$.