learning-product-automata