laser.regularlanguage.fsa
Interface RunnableDFAInterface<L extends LabelInterface>

Type Parameters:
L - The type of Label associated with this FSA.
All Superinterfaces:
Annotatable, ArtifactInterface, java.lang.Cloneable, DFAInterface<L>, FSAInterface<L>, Persistent, RunnableFSAInterface<L>, java.io.Serializable, Visualizable
All Known Implementing Classes:
RunnableDFA

public interface RunnableDFAInterface<L extends LabelInterface>
extends DFAInterface<L>, RunnableFSAInterface<L>

This class represents runnable FSAs that have been explicitly specified as being deterministic.

The definition of computation on a DFA is the same as the definition of computation on an FSA.

Author:
Nathan A. Jokel (laser-software@cs.umass.edu)
See Also:
RunnableFSAInterface

Field Summary
 
Fields inherited from interface laser.util.Persistent
PER_EXTENSION, READ_PERSISTENT_METHOD_NAME
 
Fields inherited from interface laser.util.Persistent
PER_EXTENSION, READ_PERSISTENT_METHOD_NAME
 
Method Summary
 
Methods inherited from interface laser.regularlanguage.fsa.FSAInterface
checkWellFormed, clone, getAcceptStates, getAlphabet, getDescription, getEpsilonTransition, getFactory, getName, getNonAcceptStates, getStartState, getStates, getStateWithID, getTransition, getTransitions, getTransitions, getTransitionWithID, hasTransitionsOnEpsilon, isDeterministic, isTotal, setDescription, setName, supportsEpsilonTransitions, supportsNondeterminism
 
Methods inherited from interface laser.util.Annotatable
addAnnotation, addAnnotations, copyAnnotations, getAnnotationClasses, getAnnotationClasses, getAnnotationFilters, getAnnotations, getAnnotations, removeAnnotation, removeAnnotations, removeAnnotations, removeAnnotations, setAnnotationFilters
 
Methods inherited from interface laser.util.Persistent
writePersistent, writePersistent
 
Methods inherited from interface laser.util.Visualizable
getVisExtension, visualize, visualize
 
Methods inherited from interface laser.regularlanguage.fsa.RunnableFSAInterface
getInitialConfigurationForwards, getMutableFSA, isAcceptedStringBackwards, isAcceptedStringForwards, isFinalConfigurationBackwards, isFinalConfigurationForwards, runBackwards, runBackwards, runForwards, runForwards, supportsRunningBackwards
 
Methods inherited from interface laser.regularlanguage.fsa.FSAInterface
checkWellFormed, clone, getAcceptStates, getAlphabet, getDescription, getEpsilonTransition, getFactory, getName, getNonAcceptStates, getStartState, getStates, getStateWithID, getTransition, getTransitions, getTransitions, getTransitionWithID, hasTransitionsOnEpsilon, isDeterministic, isTotal, setDescription, setName, supportsEpsilonTransitions, supportsNondeterminism
 
Methods inherited from interface laser.util.Annotatable
addAnnotation, addAnnotations, copyAnnotations, getAnnotationClasses, getAnnotationClasses, getAnnotationFilters, getAnnotations, getAnnotations, removeAnnotation, removeAnnotations, removeAnnotations, removeAnnotations, setAnnotationFilters
 
Methods inherited from interface laser.util.Persistent
writePersistent, writePersistent
 
Methods inherited from interface laser.util.Visualizable
getVisExtension, visualize, visualize