automaton.is_realtime

Check whether the automaton is realtime, i.e. it has only letter transitions (as viewed the labelset), so no words or spontaneous transitions.

It is equivalent to is_letterized and is_proper.

Examples



In [1]:

    
import vcsn
ctx = vcsn.context("law_char, b")









    



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



In [2]:

    
a1 = ctx.expression("abc").standard()
a1









    Out[2]:



In [3]:

    
a1.is_realtime()









    Out[3]:





False

Here, a1 has a word transition, so it is not letterized.



In [4]:

    
a2 = ctx.expression("a*+b(c+d)").thompson()
a2









    Out[4]:



In [5]:

    
a2.is_realtime()









    Out[5]:





False

Here, a2 has spontaneous transitions, so it is not proper.



In [6]:

    
a3 = ctx.expression("a*+b(c+d)").standard()
a3









    Out[6]:



In [7]:

    
a3.is_realtime()









    Out[7]:





True