ratexp.standard

Generate the standard automaton (aka, "position" or "Glushkov" automaton) from an expression.

Postcondition:

• Result.is_standard()

Caveats:

• it is not guaranteed that Result.is_valid()

Properties:

• Result.is_isomorphic(r.thompson().proper())

See also:

• ratexp.thompson
• automaton.is_standard
• automaton.standard

Examples

import vcsn
q = vcsn.context('lal_char(abc), q')

q.ratexp('(<1/6>a*+<1/3>b*)*').standard()