public abstract class AbstractDFA<S,I> extends AbstractDeterministicAutomaton<S,I,S> implements DFA<S,I>
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
AbstractDFA() |
Modifier and Type | Method and Description |
---|---|
static <S,I> boolean |
accepts(DFA<S,I> $this,
Iterable<? extends I> input) |
boolean |
accepts(Iterable<? extends I> input)
Determines whether the given input word is accepted by this acceptor.
|
Boolean |
computeOutput(Iterable<? extends I> input) |
Boolean |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
Boolean |
getStateProperty(S state)
Retrieves the state property for the given state.
|
S |
getSuccessor(S transition)
Retrieves the successor state of a given transition.
|
Void |
getTransitionProperty(S transition)
Retrieves the transition property for the given state.
|
createStaticStateMapping, iterator, size, stateIDs
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, 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
getTransition
getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public boolean accepts(Iterable<? extends I> input)
AcceptorTS
accepts
in interface AcceptorTS<S,I>
input
- the input word.true
if the input word is accepted,
false
otherwise.public Boolean getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
state
- the state.public Void getTransitionProperty(S transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,S,Boolean,Void>
transition
- the transition.public S getSuccessor(S transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<S,I,S>
transition
- the transition.public Boolean computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Boolean>
Copyright © 2015. All rights reserved.