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>
FiniteStateAcceptor s 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 | Class and Description |
---|---|
class |
FastDFA<I> |
class |
FastNFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
CompactDFA<I> |
class |
CompactNFA<I> |
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 |
StateLocalInputMealyMachine<S,I,T,O> |
interface |
StateOutputAutomaton<S,I,T,O> |
interface |
TransitionOutputAutomaton<S,I,T,O> |
Modifier and Type | Class and Description |
---|---|
class |
FastMealy<I,O>
A fast implementation of a Mealy machine.
|
class |
FastMoore<I,O>
A fast implementation of a Moore automaton.
|
Modifier and Type | Class and Description |
---|---|
class |
CompactMealy<I,O> |
class |
CompactMoore<I,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 | Class and Description |
---|---|
class |
AbstractOneSEVPA<L,I>
Abstract class for 1-SEVPAs that implements functionality shared across different subtypes.
|
class |
DefaultOneSEVPA<I>
Default implementation for 1-SEVPA.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractBricsAutomaton
Base class for Brics automata adapters.
|
class |
BricsDFA
Adapter class for wrapping a Brics automaton as a
DFA . |
class |
BricsNFA
Adapter class for wrapping a Brics automaton as an
NFA . |
Modifier and Type | Interface and Description |
---|---|
interface |
Lasso<I,D>
A lasso is an single infinite word.
|
static interface |
Lasso.DFALasso<I>
A DFALasso is a lasso for
DFA s. |
static interface |
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractLasso<I,D> |
class |
DFALassoImpl<I>
A DFALasso is a lasso for
DFA s. |
class |
MealyLassoImpl<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Modifier and Type | Method and Description |
---|---|
static <E> FSM2MealyParserAlternating<E,E> |
FSM2MealyParserAlternating.getParser(@Nullable Collection<? extends E> targetInputs,
@Nullable Output<E,Word<E>> output,
Function<String,E> edgeParser) |
static <I,O> FSM2MealyParserAlternating<I,O> |
FSM2MealyParserAlternating.getParser(@Nullable Collection<? extends I> targetInputs,
@Nullable Output<I,Word<O>> output,
Function<String,I> inputParser,
Function<String,O> outputParser) |
Modifier and Type | Interface and Description |
---|---|
interface |
DeterministicAcceptorTS<S,I>
A deterministic acceptor transition system.
|
Modifier and Type | Class and Description |
---|---|
class |
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two given 1-SEVPAs.
|
Modifier and Type | Class and Description |
---|---|
class |
DetAcceptorComposition<S1,S2,I,A1 extends DeterministicAcceptorTS<S1,I>,A2 extends DeterministicAcceptorTS<S2,I>> |
Copyright © 2020. All rights reserved.