public class BricsNFA extends AbstractBricsAutomaton implements NFA<State,Character>
NFA
.
This adapter is backed by the Brics automaton, so changes to the Automaton
are reflected.
As a DFA can be regarded as a special case of an NFA, using this class on a Brics
Automaton
will always work. However, determining successor states for input
characters might be much less efficient than when using a BricsDFA
.
AbstractBricsAutomaton.GraphView
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
automaton
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
BricsNFA(Automaton automaton)
Constructor.
|
getBricsAutomaton, getInitialStates, getStates, getTransitions, graphView, isAccepting
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAccepting
computeOutput, computeSuffixOutput, transitionGraphView
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessors, getTransitions, powersetView
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
public BricsNFA(Automaton automaton)
automaton
- the Brics automaton objectCopyright © 2015. All rights reserved.