Kernel: Python 3
expression.inductive(algo="auto")
Generate an automaton inductively from an expression.
The algo
might be:
"auto"
: same as"standard"
."standard"
generate a standard automaton.
Postconditions:
"standard"
Result is standard
If the expression is basic, Result is isomorphic to
e.standard()
.
See also:
Examples
Standard
Contrary to expression.standard, inductive
supports the extended expressions.
In [1]:
Basic expressions
In [2]:
In [3]:
Extended expressions
In [4]:
In [5]:
standard: operator conjunction not supported: (a+b)*a(a+b){2}&(a+b)*a(a+c){4}
while computing standard automaton of: (a+b)*a(a+b){2}&(a+b)*a(a+c){4}