public abstract class AbstractNFA<S,I> extends AbstractFSA<S,I> implements NFA<S,I>
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
AbstractNFA() |
Modifier and Type | Method and Description |
---|---|
boolean |
accepts(Iterable<I> input)
Determines whether the given input word is accepted by this acceptor.
|
static <S,I> boolean |
accepts(NFA<S,I> $this,
Iterable<I> input) |
boolean |
isAccepting(Collection<? extends S> states) |
static <S,I> boolean |
isAccepting(NFA<S,I> $this,
Collection<? extends S> states) |
computeOutput, computeOutput, computeSuffixOutput, computeSuffixOutput, getStateProperty, getStateProperty, getSuccessor, getSuccessor, getTransitionProperty, getTransitionProperty
iterator, iterator, size, size, stateIDs, stateIDs
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAccepting
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
computeSuffixOutput
computeOutput
public AbstractNFA()
public static <S,I> boolean isAccepting(NFA<S,I> $this, Collection<? extends S> states)
public boolean isAccepting(Collection<? extends S> states)
isAccepting
in interface NFA<S,I>
public boolean accepts(Iterable<I> input)
AcceptorTS
accepts
in interface AcceptorTS<S,I>
input
- the input word.true
if the input word is accepted,
false
otherwise.Copyright © 2015. All Rights Reserved.