Closed toodom02 closed 6 months ago
Small change to the product construction, to catch usage with DFAs over different alphabets.
DFA function product_construction now raises an Invalid_argument error in this case.
product_construction
Invalid_argument
Small change to the product construction, to catch usage with DFAs over different alphabets.
DFA function
product_construction
now raises anInvalid_argument
error in this case.