automaton.is_costandard.ipynb

Kernel: Python 3

automaton.is_costandard

Whether an automaton is costandard, i.e.:

• a single final state

• whose (final) weight is 1

• without outgoing transitions

This is equivalent to calling aut.transpose().is_standard().

See also:

• automaton.costandard

• automaton.is_standard

Examples

import vcsn

a = vcsn.B.expression('a+b').standard()
a

a.is_costandard()

False

a = vcsn.Z.expression('ab').standard() * 2
a

a.is_costandard()

False

a = vcsn.B.expression('a(ab)*').automaton()
a

a.is_costandard()

False