Kernel: Python 3
automaton
.info(key=None, details=2)
A dictionary of facts about an automaton.
Arguments:
keys
: if specified, return just the corresponding result.details
: level of details, from 1 to 31: number of states and transitions
2: number of useful states, cheap facts to compute (e.g., whether valid, proper, etc.)
3: also facts costly to compute (e.g., whether ambiguous, etc.)
See also:
Examples
In [1]:
In [2]:
{'number of final states': 3,
'number of initial states': 1,
'number of states': 3,
'number of transitions': 6,
'number of useful states': 3}
In [3]:
{'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 [4]:
'mutable_automaton<letterset<char_letters(ab)>, q>'
In [5]:
{'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 [6]:
3