automaton
.infiltrate
Create the (accessible part of the) infiltration product of two automata. In a way the infiltration product combines the conjunction (synchronized) and the shuffle product.
Preconditions:
all the labelsets are letterized
See also:
Examples
The following simple example aims at emphasizing that the transitions of the infiltration combine those of the shuffle and the conjunction products.
Don't be mistaken though: if in this example the sum of the shuffle and conjunction products indeed match the infiltration product, this no longer applies to larger automata. In the following example (which nicely highlights the features of these three types of product) the transition from to would be missing.
Associativity
This operator is associative.
Variadicity
As a convenience, infiltrate
is variadic: it may accept more than two arguments. However, it's (currently) only a wrapper around repeated calls to the binary operation (as can be seen by the parentheses in the state names below).