Kernel: Python 3
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:
Examples
In [1]:
In [2]: