public interface DFA<S,I> extends UniversalDeterministicAutomaton<S,I,S,Boolean,Void>, DeterministicAcceptorTS<S,I>, FiniteStateAcceptor<S,I>, SODetOutputAutomaton<S,I,S,Boolean>
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.
|
isAccepting
computeOutput, computeSuffixOutput, transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty, isAccepting
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
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.Copyright © 2015. All rights reserved.