expression
.automaton(
algo
="auto")
Generate an automaton from an expression.
The algo
can be:
"auto"
: currently equivalent to"expansion"
, eventually should mix"standard"
for basic expressions (faster) and"expansion"
otherwise (more general)."derivation"
: use derivation-based expression.derived_term, trim and stripped."derived_term"
: same as"expansion"
."inductive"
: use expression.inductive."expansion"
: use expansion-based expression.derived_term, trim and stripped."standard"
: use expression.standard."thompson"
: use expression.thompson."zpc"
: use expression.zpc, trim."zpc,compact"
: use expression.zpc, "compact" version, trim.
Precondition:
"standard"
,"thompson"
,"zpc"
,"zpc,compact"
: the expression is not extended
See also:
Examples
Trimming
The automata are guaranteed to be trim, even if the algorithm used by automaton
generated useless states.
Extended Rational Expressions
The derived-term based algorithms and "inductive"
support extended expressions.