context.ladybird.ipynb

Kernel: Python 3

context.ladybird(n)

Create the Ladybird automaton with $n$ states. This family of automata is a worst case for determinization: its determinized automaton has $2^n$ states.

Preconditions:

• the labelset has at least three generators

See also:

• automaton.determinize

Examples

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

b.ladybird(3)

These automata are easier to read when states are put on a circle, as does the circo engine.

b.ladybird(7)

from IPython.display import SVG
SVG(b.ladybird(7).SVG(engine='circo'))