analisi logica grammaticale verbi traduzioni equazioni algebra g