inserimento di matching con AbstractAutomaton