automaton.partial_identity.ipynb

Kernel: Python 3

automaton.partial_identity

Create a transducer which realizes a partial identity for the series recognized by the input automaton. It means that the transducer will accept the same series as the input automaton, and for each input word $w$ the output will be $w$.

Preconditions:

• None

See also:

• automaton.is_partial_identity

• expression.partial_identity

Examples

import vcsn

The following is the input automaton:

a = vcsn.Q.expression("<3>abc*(<2>d)* + ce<5>").automaton()
a

b = a.partial_identity()
b

b.context()

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

a.evaluate("abcd")

$6$

b.lift(1).evaluate("abcd")

$\left\langle 6 \right\rangle \,\left(\left(a\right) \, \left(b\right) \, \left(c\right) \, \left(d\right)\right)$