Whether the automaton is proper, i.e. has no spontaneous transitions.
See also:
automaton.is_realtime
automaton.proper
import vcsn exp = vcsn.context('lan, b').expression('ab')
a = exp.standard() a
a.is_proper()
a = exp.thompson() a