public interface DFA<S,I> extends UniversalDeterministicAutomaton<S,I,S,Boolean,Void>, DeterministicAcceptorTS<S,I>, DetSuffixOutputAutomaton<S,I,S,Boolean>, NFA<S,I>
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
STATE_PROPERTIES, TRANSITION_PROPERTIES
Modifier and Type | Method and 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) |
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty, isAccepting
powersetView
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
getSuccessors
forEach, spliterator
default Boolean computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface DetSuffixOutputAutomaton<S,I,S,Boolean>
computeSuffixOutput
in interface FiniteStateAcceptor<S,I>
computeSuffixOutput
in interface SuffixOutput<I,Boolean>
default Boolean computeStateOutput(S state, Iterable<? extends I> input)
computeStateOutput
in interface DetSuffixOutputAutomaton<S,I,S,Boolean>
default Boolean computeOutput(Iterable<? extends I> input)
computeOutput
in interface DeterministicAcceptorTS<S,I>
computeOutput
in interface DetSuffixOutputAutomaton<S,I,S,Boolean>
computeOutput
in interface FiniteStateAcceptor<S,I>
computeOutput
in interface Output<I,Boolean>
computeOutput
in interface SuffixOutput<I,Boolean>
default boolean accepts(Iterable<? extends I> input)
AcceptorTS
accepts
in interface AcceptorTS<S,I>
accepts
in interface DeterministicAcceptorTS<S,I>
input
- the input word.true
if the input word is accepted, false
otherwise.default boolean isAccepting(Collection<? extends S> states)
isAccepting
in interface AcceptorTS<S,I>
isAccepting
in interface DeterministicAcceptorTS<S,I>
isAccepting
in interface NFA<S,I>
Copyright © 2020. All rights reserved.