automaton.is_standard

Whether an automaton is standard, i.e.:

Examples



In [1]:

    
import vcsn
b = vcsn.context('lal_char(abc), b')
a = b.expression('a').standard() | b.expression('b').standard()
a









    Out[1]:



In [2]:

    
assert(not a.is_standard())
assert(a.standard().is_standard())



In [3]:

    
%%automaton a
context = "lal_char(abc), z"
$ -> 0 <2>
0 -> 1 a
1 -> $



In [4]:

    
assert(not a.is_standard())
assert(a.standard().is_standard())



In [5]:

    
%%automaton a
context = "lal_char(abc), z"
$ -> 0 <2>
0 -> $ <2>
0 -> 1 a
1 -> 0 b



In [6]:

    
assert(not a.is_standard())
assert(a.standard().is_standard())