Type of states
Type of states
Type of labels
Type of labels
Intersection
Intersection
Operations on labels
Operations on labels
The set of accepting states
The set of accepting states
Check whether the automaton accepts a given word.
Check whether the automaton accepts a given word.
Get any word accepted by this automaton, or None
if the language is empty
Get any word accepted by this automaton, or None
if the language is empty
Return new automaton builder of compatible type
Return new automaton builder of compatible type
Get image of a state under a given label
Get image of a state under a given label
Get image of a set of states under a given label
Get image of a set of states under a given label
Compute the length abstraction of this automaton.
Compute the length abstraction of this automaton. Special case of Parikh images, following the procedure in Verma et al, CADE 2005
Return new automaton builder of compatible type
Return new automaton builder of compatible type
The unique initial state
The unique initial state
Test if state is accepting
Test if state is accepting
Check whether this automaton accepts any word.
Check whether this automaton accepts any word.
To enumerate the labels used
To enumerate the labels used
Given a state, iterate over all outgoing transitions
Given a state, iterate over all outgoing transitions
Iterate over automaton states
Iterate over automaton states
String representation of automaton in full gory detail
String representation of automaton in full gory detail
Iterate over all transitions
Iterate over all transitions
Complementation
Complementation
Field that is defined if the automaton only accepts words of some length l (and the language accepted by the automaton is non-empty)
Field that is defined if the automaton only accepts words of some length l (and the language accepted by the automaton is non-empty)
Compute states that can only be reached through words with some unique length
Compute states that can only be reached through words with some unique length
Union
Union
Case class representation of AutomataUtils.reverse