Package net.automatalib.automaton.fsa

Interface DFA<S,I>

All Superinterfaces:

AcceptorTS<S,I>, Automaton<S,I,S>, DeterministicAcceptorTS<S,I>, DeterministicAutomaton<S,I,S>, DeterministicTransitionSystem<S,I,S>, DetOutputAutomaton<S,I,S,Boolean>, DetSuffixOutputAutomaton<S,I,S,Boolean>, FiniteRepresentation, FiniteStateAcceptor<S,I>, Iterable<S>, NFA<S,I>, Output<I,Boolean>, OutputAutomaton<S,I,S,Boolean>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>, SuffixOutput<I,Boolean>, TransitionSystem<S,I,S>, UniversalAutomaton<S,I,S,Boolean,Void>, UniversalDeterministicAutomaton<S,I,S,Boolean,Void>, UniversalDTS<S,I,S,Boolean,Void>, UniversalTransitionSystem<S,I,S,Boolean,Void>

All Known Subinterfaces:

Lasso.DFALasso<I>, MutableDFA<S,I>

All Known Implementing Classes:

BricsDFA, CompactDFA, DFALassoImpl, FastDFA

public interface DFA<S,I>
extends UniversalDeterministicAutomaton<S,I,S,Boolean,Void>, DeterministicAcceptorTS<S,I>, DetSuffixOutputAutomaton<S,I,S,Boolean>, NFA<S,I>

Deterministic finite state acceptor.

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>

Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>

Field Summary

Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

STATE_PROPERTIES, TRANSITION_PROPERTIES

Method Summary

Modifier and Type	Method	Description
default boolean	accepts(Iterable<? extends I> input)	Determines whether the given input word is accepted by this acceptor.
default Boolean	computeOutput(Iterable<? extends I> input)
default Boolean	computeStateOutput(S state, Iterable<? extends I> input)
default Boolean	computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
default boolean	isAccepting(Collection<? extends S> states)

Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS

getStateProperty, getSuccessor, getTransitionProperty, isAccepting

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions

Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor

transitionGraphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Method Detail

computeSuffixOutput

default Boolean computeSuffixOutput(Iterable<? extends I> prefix,
                                    Iterable<? extends I> suffix)

Specified by:

computeSuffixOutput in interface DeterministicAcceptorTS<S,I>

Specified by:

computeSuffixOutput in interface DetSuffixOutputAutomaton<S,I,S,Boolean>

Specified by:

computeSuffixOutput in interface FiniteStateAcceptor<S,I>

Specified by:

computeSuffixOutput in interface SuffixOutput<S,I>

computeStateOutput

default Boolean computeStateOutput(S state,
                                   Iterable<? extends I> input)

Specified by:

computeStateOutput in interface DetSuffixOutputAutomaton<S,I,S,Boolean>

computeOutput

default Boolean computeOutput(Iterable<? extends I> input)

Specified by:

computeOutput in interface DeterministicAcceptorTS<S,I>

Specified by:

computeOutput in interface DetSuffixOutputAutomaton<S,I,S,Boolean>

Specified by:

computeOutput in interface FiniteStateAcceptor<S,I>

Specified by:

computeOutput in interface Output<S,I>

Specified by:

computeOutput in interface SuffixOutput<S,I>

accepts

default boolean accepts(Iterable<? extends I> input)

Description copied from interface: AcceptorTS

Determines whether the given input word is accepted by this acceptor.

Specified by:

accepts in interface AcceptorTS<S,I>

Specified by:

accepts in interface DeterministicAcceptorTS<S,I>

Parameters:

input - the input word.

Returns:

true if the input word is accepted, false otherwise.

isAccepting

default boolean isAccepting(Collection<? extends S> states)

Specified by:

isAccepting in interface AcceptorTS<S,I>

Specified by:

isAccepting in interface DeterministicAcceptorTS<S,I>

Specified by:

isAccepting in interface NFA<S,I>