Elaborate on formal grammars.