verificacao de gramatica integrada 'a IHM