automaton.star.ipynb

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:

• automaton.multiply

import vcsn

Examples

The following automaton will serve as input.

a = vcsn.Q.expression('a+ab').standard()
a

General

a.star("general")

Standard

a.star("standard")

Deterministic

a.star("deterministic")