Union of two automatons updated.