Struttura formale e manipolazione simbolica delle equazioni di compatibilita' dei meccanismi