Package net.automatalib.automaton

This package (including sub-packages) contains the basic classes concerning automata.

An automaton (in the AutomataLib context) is a finite-state transition system. Like transition systems, automata are in general nondeterministic, but can be specialized to be deterministic.

The Automaton interface has no inherent semantics. Special types of automata, such as DFAs or Mealy machines can be found in the respective subpackages.

See Also:

net.automatalib.ts

Interface Summary

Interface	Description
Automaton<S,I,T>	Basic interface for an automaton.
AutomatonCreator<A,I>
DeterministicAutomaton<S,I,T>	Basic interface for a deterministic automaton.
DeterministicAutomaton.FullIntAbstraction<T>	Interface for full integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.IntAbstraction<T>	Base interface for integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction<I,T>	Interface for state integer abstractions of a DeterministicAutomaton.
FiniteAlphabetAutomaton<S,I,T>
MutableAutomaton<S,I,T,SP,TP>	A mutable automaton.
MutableDeterministic<S,I,T,SP,TP>	Interface for a mutable deterministic automaton.
MutableDeterministic.FullIntAbstraction<T,SP,TP>	Interface for full integer abstractions of a MutableDeterministic.
MutableDeterministic.IntAbstraction<T,SP,TP>	Base interface for integer abstractions of a MutableDeterministic.
MutableDeterministic.StateIntAbstraction<I,T,SP,TP>	Interface for state integer abstractions of a MutableDeterministic.
ShrinkableAutomaton<S,I,T,SP,TP>	A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
ShrinkableDeterministic<S,I,T,SP,TP>	A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.
UniversalAutomaton<S,I,T,SP,TP>	A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions.
UniversalDeterministicAutomaton<S,I,T,SP,TP>	A DeterministicAutomaton with state and transition properties.
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>	Interface for full integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>	Base interface for integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>	Interface for state integer abstractions of a UniversalDeterministicAutomaton.
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>