S
- state class.I
- input symbol class.T
- transition class.public interface DeterministicAutomaton<S,I,T> extends Automaton<S,I,T>, SimpleDeterministicAutomaton<S,I>, DeterministicTransitionSystem<S,I,T>
DeterministicTransitionSystem
with a finite number of states.getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Copyright © 2015. All rights reserved.