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