expression.standard

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

Preconditions:

• the expression is basic. For extended expressions, see the "standard" flavor of expression.inductive.

Postcondition:

• Result.is_standard()

Caveats:

• it is not guaranteed that Result.is_valid()

Properties:

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

See also:

• expression.automaton
• expression.inductive
• automaton.is_standard
• automaton.standard

Examples

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

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