expression.conjunction(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
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}$