ratexp.is_equivalent(exp)

Whether this expression is equivalent to exp, i.e., whether they accept the same words with the same weights.

Preconditions:

• Both labelsets are free, or nullable of free
• Both weightsets are either $\mathbb{B}, \mathbb{Z}$, or a field ($\mathbb{F}_2, \mathbb{Q}, \mathbb{Q}_\text{mp}, \mathbb{R}$).

Algorithm:

• Compute the standard of both expressions, and check whether the automata are equivalent.

See also:

• automaton.is_equivalent

Examples

import vcsn

b = vcsn.context('lal_char, b')
r1 = b.ratexp('a')
r2 = b.ratexp('b')
r1.is_equivalent(r2)

False

r1 = b.ratexp('a')
r2 = b.ratexp('a+a')
r1.is_equivalent(r2)

True

z = vcsn.context('lal_char, z')
r1 = z.ratexp('<42>a')
r2 = z.ratexp('<51>a')
r1.is_equivalent(r2)

False

r1 = z.ratexp('<42>a+<9>a')
r2 = z.ratexp('<51>a')
r1.is_equivalent(r2)

True

Heterogeneous Comparisons

Note that rational expressions of different, but compatible, contexts, can be equivalent.

q = vcsn.context('lal_char, q')
z.ratexp('[abc]*').is_equivalent(q.ratexp('[abc]*'))

True

z.ratexp('<42>[abc]*').is_equivalent(q.ratexp('<51>[abc]*'))

False