added definition of automata product