shortest: incorrect result
Well, I am stunned.
With these two automata
e = vcsn.context('lal, q').expression('(a*&a*a*)ᵗ')
a1 = e.inductive()
a2 = e.automaton()
a3 = a1 + -1 * a2
we get an automaton a3
which:
- accepts
a
with weight 1 according toshortest()
- does not accept it according to
eval
If you look at a1 and a2's shortest, you'll see that it's a3.shortest
which is wrong.