Package net.automatalib.automata

This package contains the basic interfaces for automata.

See: Description

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>
MutableDeterministic.IntAbstraction<T,SP,TP>
MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
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 a 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>

Class Summary

Class	Description
DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>
MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>
UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>

Package net.automatalib.automata Description

This package contains the basic interfaces for 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.

Author:

Malte Isberner

See Also:

net.automatalib.ts