0.0.0.1 ------- Basic operations on context-free formal grammars.