expression & exp

Create an expression which denotes the conjunction of both series.

Preconditions:

  • None

Properties:

  • associative, in the sense that expressions equivalent modulo associativity generate isomorphic automata

See also:

Examples


In [1]:
import vcsn
a = vcsn.B.expression('a*b')
b = vcsn.B.expression('ab*')
c = a & b
c


:0: FutureWarning: IPython widgets are experimental and may change in the future.
Out[1]:
${a}^{*} \, b \& a \, {b}^{*}$

In [2]:
c.derived_term()


Out[2]:
%3 I0 0 a*b&ab* I0->0 F2 1 a*b&b* 0->1 a 2 ε&b* 1->2 b 2->F2

In [3]:
c.shortest(10)


Out[3]:
$\mathit{ab}$