Formal Languages and Logic/Chomsky grammars

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