expression.partial_identity.ipynb

Kernel: Python 3

expression.partial_identity

An expression which denotes a partial identity of the series denoted by the input expression. In other words, every label $\ell$ is turned into a two-tape label $\ell|\ell$.

Postconditions:

• The identities are preserved.

See also:

• automaton.partial_identity

Examples

import vcsn
e = vcsn.Q.expression('ab*<3>c', 'associative')
e

$a \, {b}^{*} \, \left\langle 3 \right\rangle \,c$

e2 = e.partial_identity()
e2

$\left(a|a\right) \, \left(b|b\right)^{*} \, \left\langle 3 \right\rangle \,\left(c|c\right)$

e2.context()

$\{a, b, c\} \times \{a, b, c\}\to\mathbb{Q}$

e2.project(0)

$a \, {b}^{*} \, \left\langle 3 \right\rangle \,c$

e2.project(1)

$a \, {b}^{*} \, \left\langle 3 \right\rangle \,c$