Operations on labels
Operations on labels
Add a new transition q1 --label--> q2
Add a new transition q1 --label--> q2
Returns built automaton.
Returns built automaton. Can only be used once after which the automaton cannot change
Create a fresh state that can be used in the automaton
Create a fresh state that can be used in the automaton
The initial state of the automaton being built
The initial state of the automaton being built
Ask if state is accepting
Ask if state is accepting
Iterate over outgoing transitions from state
Iterate over outgoing transitions from state
Set state accepting
Set state accepting
Set the initial state
Set the initial state
By default one can assume built automata are minimised before the are returned.
By default one can assume built automata are minimised before the are returned. Use this to enable or disable it
For constructing manually (immutable) BricsAutomaton objects