Teoria algebrica dei meccanismi automatici