improve product() when one argument is a weak automaton
When one argument of product()
is weak, we can teach product()
to produce a simpler acceptance condition than what it is doing now.
-
product(non-weak, non-weak)
: standard product -
product(weak, non-weak)
orproduct(non-weak, non-weak)
: use the non-weak acceptance for the output -
product(weak, weak)
: use a weak acceptance for the output