Una gramática formal no describe el significado de las fórmulas bien formadas, sino solamente su forma.