public interface FiniteStateAcceptor<S,I> extends AcceptorTS<S,I>, UniversalAutomaton<S,I,S,Boolean,Void>, OutputAutomaton<S,I,S,Boolean>, SuffixOutput<I,Boolean>
FiniteStateAcceptor
s accept regular languages.Modifier and Type | Interface and Description |
---|---|
static class |
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>> |
Modifier and Type | Field and Description |
---|---|
static List<Boolean> |
STATE_PROPERTIES |
static List<Void> |
TRANSITION_PROPERTIES |
Modifier and Type | Method and Description |
---|---|
default Boolean |
computeOutput(Iterable<? extends I> input) |
default Boolean |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
default UniversalGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>> |
transitionGraphView(Collection<? extends I> inputs)
Obtains a
graph view of the transition graph of this automaton, taking into
account the specified input symbols. |
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting, isAccepting
getSuccessors, getTransitions, powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
forEach, spliterator
default Boolean computeOutput(Iterable<? extends I> input)
computeOutput
in interface Output<I,Boolean>
computeOutput
in interface SuffixOutput<I,Boolean>
default Boolean computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Boolean>
default UniversalGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>> transitionGraphView(Collection<? extends I> inputs)
Automaton
graph
view of the transition graph of this automaton, taking into
account the specified input symbols. The transitions are represented as TransitionEdge
s
in the grpah.transitionGraphView
in interface Automaton<S,I,S>
transitionGraphView
in interface UniversalAutomaton<S,I,S,Boolean,Void>
inputs
- the input symbols to considerCopyright © 2015. All rights reserved.