| Package | Description |
|---|---|
| net.automatalib.automata.concepts | |
| net.automatalib.automata.fsa | |
| net.automatalib.automata.transout | |
| net.automatalib.automata.vpda | |
| net.automatalib.ts.acceptors |
| 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> |
interface |
SuffixOutput<I,D>
Feature for automata that compute a suffix-observable output function, i.e., they compute an output containing
a part that can be attributed to a suffix of the input.
|
| 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 |
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 |
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 |
DeterministicAcceptorTS<S,I>
A deterministic acceptor transition system.
|
Copyright © 2018. All rights reserved.