NFA

Retrieve the indices of states found at the end of unlabeled transitions starting from s.

Return the specified DFA.

Retrieve the indices of states found at the end of transitions labeled t and starting from s.

Returns true if this automaton accepts the given string.

Return the pairs comprising all unlabelled transitions.

Return the set of states at the end of an epsilon transition from s.

Return the indices of the final states.

Returns the Set of final states in this automaton.

Perform some action for each epsilon transition in the automaton.

Perform some action for each final state in the automaton.

Perform some action for each initial state in the automaton.

Perform some action for each state in the automaton.

Perform some action for each transition in the automaton.

Return the index of a state, or None.

Return the index of a label, or None.

Use Graphviz to render this object as specified.

Use Graphviz to render this object (in the default format) to the given file.

Return the index of a state. Since this is a Map, a call on a value which is not a state will throw an exception; use getIndexOf for a safe version.

Return the indices of the initial states.

Returns the Set of initial states in this automaton.

Returns whether the given state s is final in this automaton.

Returns whether the given state s is initial in this automaton.

Returns true if s is used as a state

Label at a particular index.

Index of a particular label. Since this is a Map, a call on a value which is not a label will throw an exception; use getIndexOf for a safe version.

Derive a new isomorphic automaton from this one by applying transforms to the states and transitions. This method does not check that either map is injective: if they are not, then the result may be unpredictable.

Derive a new isomorphic automaton from this one by applying transforms to the states. This method does not check that the stateMap is injective: if it is not, then the result may have separate states which cannot be distinguished.

Derive a new isomorphic automaton from this one by applying transforms to the transitions. This method does not check that the transitionMap is injective: if it is not, then the result may have separate transitions which cannot be distinguished.

Number of states in the automaton

Return the state at a particular index.

Return the inner lines of a digraph block (or other Graphviz style) to render this object.

Return the triples comprising all labelled transitions.

Returns the (possibly empty, and in deterministic implementations at most singleton) set of states into which the automaton could transition starting from s via a transition labelled t.