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]:
In [2]:
Instead of a.lweight(a.context().weight('5'))
, you may write 5 * a
.
In [3]:
To force the execution of the general algorithm you can do it this way.
In [4]: