| Package | Description |
|---|---|
| net.automatalib.automata |
This package contains the basic interfaces for automata.
|
| net.automatalib.automata.concepts | |
| net.automatalib.automata.fsa | |
| net.automatalib.automata.simple | |
| net.automatalib.automata.transout | |
| net.automatalib.automata.transout.probabilistic | |
| net.automatalib.automata.vpda | |
| net.automatalib.ts | |
| net.automatalib.ts.acceptors | |
| net.automatalib.ts.powerset | |
| net.automatalib.ts.simple | |
| net.automatalib.ts.transout |
| Modifier and Type | Interface and Description |
|---|---|
interface |
Automaton<S,I,T>
Basic interface for an automaton.
|
interface |
DeterministicAutomaton<S,I,T>
Basic interface for a deterministic automaton.
|
interface |
FiniteAlphabetAutomaton<S,I,T> |
interface |
MutableAutomaton<S,I,T,SP,TP>
A mutable automaton.
|
interface |
MutableDeterministic<S,I,T,SP,TP>
Interface for a mutable deterministic automaton.
|
interface |
ShrinkableAutomaton<S,I,T,SP,TP>
A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
|
interface |
ShrinkableDeterministic<S,I,T,SP,TP>
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and
transitions.
|
interface |
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.
|
interface |
UniversalDeterministicAutomaton<S,I,T,SP,TP>
A
DeterministicAutomaton with state and transition properties. |
interface |
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
DetOutputAutomaton<S,I,T,D>
An automaton which deterministically produces an output for an input word.
|
interface |
DetSuffixOutputAutomaton<S,I,T,D> |
interface |
OutputAutomaton<S,I,T,D> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
DFA<S,I>
Deterministic finite state acceptor.
|
interface |
FiniteStateAcceptor<S,I>
FiniteStateAcceptors accept regular languages. |
interface |
MutableDFA<S,I> |
interface |
MutableFSA<S,I> |
interface |
MutableNFA<S,I> |
interface |
NFA<S,I>
Nondeterministic finite state acceptor.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
SimpleAutomaton<S,I>
A simple automaton, i.e., a
SimpleTS with a finite number of states. |
interface |
SimpleDeterministicAutomaton<S,I>
A simple deterministic automaton.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
MealyMachine<S,I,T,O> |
interface |
MooreMachine<S,I,T,O> |
interface |
MutableMealyMachine<S,I,T,O> |
interface |
MutableMooreMachine<S,I,T,O> |
interface |
TransitionOutputAutomaton<S,I,T,O> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
MutableProbabilisticMealy<S,I,T,O> |
interface |
ProbabilisticMealyMachine<S,I,T,O> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OneSEVPA<L,I>
Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific
structure and semantics.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
DeterministicTransitionSystem<S,I,T>
Deterministic transition system.
|
interface |
PowersetViewTS<S,I,T,OS,OT> |
interface |
TransitionSystem<S,I,T>
Transition system interface.
|
interface |
UniversalDTS<S,I,T,SP,TP>
Universal deterministic transition system.
|
interface |
UniversalTransitionSystem<S,I,T,SP,TP>
A "universal" transition system, which captures the possibility to assign properties to states and transitions.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
AcceptorTS<S,I>
A transition system whose semantics are defined by whether a state is "accepting" or not.
|
interface |
DeterministicAcceptorTS<S,I>
A deterministic acceptor transition system.
|
| Modifier and Type | Class and Description |
|---|---|
class |
DirectPowersetDTS<S,I,T> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
SimpleDTS<S,I>
A simple deterministic transition system.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
DeterministicTransitionOutputTS<S,I,T,O> |
interface |
MealyTransitionSystem<S,I,T,O> |
Copyright © 2018. All rights reserved.