automaton.complete.ipynb

Kernel: Python 3

automaton.complete

Make an automaton complete, i.e., there is an outgoing transition from every state for every labels.

Precondition:

• the labelset is free

Postcondition:

• Result.is_complete()

See also:

• automaton.is_complete

Examples

import vcsn
z = vcsn.context('lal_char(abc), z')

a = z.expression('(<2>a<3>b)*').standard()
a

a.is_complete()

False

a.complete()

a.complete().is_complete()

True