Kernel: Python 3
automaton.lweight(weight, algo="auto")
The left scalar product of an automaton by a weight.
The algo parameter must be one of these:
"auto": default parameter, same as"standard"."general": puts the weight on the initial transitions."standard": does not put the weight on the initial transitions.
Postconditions:
"standard": when applied to standard automata, the result is standard.
See also:
In [1]:
Out[1]:
In [2]:
Out[2]:
Instead of a.lweight(a.context().weight('5')), you may write 5 * a.
In [3]:
Out[3]:
To force the execution of the general algorithm you can do it this way.
In [4]:
Out[4]: