`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

Examples



In [1]:

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









    



:0: FutureWarning: IPython widgets are experimental and may change in the future.



In [2]:

    
b.ladybird(3)









    Out[2]:

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



In [3]:

    
b.ladybird(7)









    Out[3]:



In [4]:

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









    Out[4]:

context.ladybird(n)

Examples

`context`.`ladybird`(`n`)