import vcsn c = vcsn.context('lal_char, seriesset<lal_char, z>') std = lambda exp: c.expression(exp).standard() c
The following simple example aims at emphasizing that the transitions of the infiltration combine those of the shuffle and the conjunction products.
x = std("<x>a"); x
y = std("<y>a"); y
x & y
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 $(1, 0)$ to $(2, 1)$ would be missing.
xx = x * x xx
yy = y * y xx & yy
x = std('<x>a') y = std('<y>a') z = std('<z>a')
a = x.infiltrate(y).infiltrate(z); a
b = x.infiltrate(y.infiltrate(z)); b
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).
c = x.infiltrate(y, z); c