expression.conjunction.ipynb

Kernel: Python 3

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:

• automaton.conjunction

• polynomial.conjunction

Examples

import vcsn
a = vcsn.B.expression('a*b')
b = vcsn.B.expression('ab*')
c = a & b
c

${a}^{*} \, b \& a \, {b}^{*}$

c.derived_term()

c.shortest(10)

$\mathit{ab}$