Kernel: Python 3
automaton
.star(algo="auto")
Build an automaton whose behavior is the Kleene star of that of the input automaton.
The algorithm has to be one of these:
"deterministic"
: deterministic star."general"
: general star, no additional preconditions."standard"
: standard star."auto"
: default parameter, same as"standard"
if parameters fit the standard preconditions,"general"
otherwise.
Preconditions:
"standard"
:automaton
has to be standard.
Postconditions:
"deterministic"
: the result automaton is deterministic."general"
: the context of the result automaton is nullable."standard"
: the result automaton is standard.
Caveat:
"deterministic"
: the computation might not terminate on weighted automata. See automaton.determinize.
See also:
In [1]:
Examples
The following automaton will serve as input.
In [2]:
General
In [3]:
Standard
In [4]:
Deterministic
In [5]: