automaton.info(key = None, detailed = False)

In [1]:

    

import vcsn
a = vcsn.Q.expression('(<1/2>a*+<1/3>b*)*').automaton()
a.info()


    

    
Out[1]:





{'is codeterministic': False,
 'is complete': True,
 'is deterministic': True,
 'is empty': False,
 'is eps-acyclic': True,
 'is normalized': False,
 'is proper': True,
 'is standard': True,
 'is trim': True,
 'is useless': False,
 'is valid': True,
 'number of accessible states': 3,
 'number of coaccessible states': 3,
 'number of codeterministic states': 1,
 'number of deterministic states': 3,
 'number of final states': 3,
 'number of initial states': 1,
 'number of lazy states': 0,
 'number of spontaneous transitions': 0,
 'number of states': 3,
 'number of transitions': 6,
 'number of useful states': 3,
 'type': 'mutable_automaton<letterset<char_letters(ab)>, q>'}

In [2]:

    

a.info(detailed = True)


    

    
Out[2]:





{'is ambiguous': False,
 'is codeterministic': False,
 'is complete': True,
 'is cycle ambiguous': False,
 'is deterministic': True,
 'is empty': False,
 'is eps-acyclic': True,
 'is normalized': False,
 'is proper': True,
 'is standard': True,
 'is synchronizing': True,
 'is trim': True,
 'is useless': False,
 'is valid': True,
 'number of accessible states': 3,
 'number of coaccessible states': 3,
 'number of codeterministic states': 1,
 'number of deterministic states': 3,
 'number of final states': 3,
 'number of initial states': 1,
 'number of lazy states': 0,
 'number of spontaneous transitions': 0,
 'number of states': 3,
 'number of strongly connected components': 2,
 'number of transitions': 6,
 'number of useful states': 3,
 'type': 'mutable_automaton<letterset<char_letters(ab)>, q>'}

In [3]:

    

a.info('type')


    

    
Out[3]:





'mutable_automaton<letterset<char_letters(ab)>, q>'

In [4]:

    

a.info('number of states')


    

    
Out[4]:





3