Package laser.regularlanguage.fsa

Contains classes for creating and manipulating finite state automata (FSAs).

See:
          Description

Interface Summary
DFAInterface<L extends LabelInterface> A DFA is a deterministic finite state automaton.
FSAEpsilonTransitionInterface<L extends LabelInterface> Classes implementing this interface represent epsilon (ε) transitions in FSAs of type FSAInterface.
FSAFactoryInterface<L extends LabelInterface> This interface is implemented by all factories that create finite state automata (FSAs) of type FSAInterface.
FSAInterface<L extends LabelInterface> An FSA is a finite state automaton.
FSALabelPatternTransitionInterface<L extends LabelInterface> Classes implementing this interface represent transitions on a LabelPattern in FSAs of type MutableFSAInterface.
FSALabelTransitionInterface<L extends LabelInterface> Classes implementing this interface represent transitions on a Label in FSAs of type FSAInterface.
FSAStateInterface<L extends LabelInterface> Classes implementing this interface represent states in FSAs of type FSAInterface.
FSATransitionInterface<L extends LabelInterface> Classes implementing this interface represent transitions in FSAs of type FSAInterface.
MutableDFAInterface<L extends LabelInterface> This class represents mutable FSAs that have been explicitly specified as being deterministic.
MutableFSAInterface<L extends LabelInterface> This class represents FSAs that are mutable: i.e. their structure can be changed but no computation can be performed on them.
RunnableDFAInterface<L extends LabelInterface> This class represents runnable FSAs that have been explicitly specified as being deterministic.
RunnableFSAInterface<L extends LabelInterface> This class represents FSAs that are runnable: i.e. computation can be performed on them but their structure can not be changed.
 

Class Summary
AbstractFSA<L extends LabelInterface> An abstract FSA class that provides common functionality for FSAs of type FSAInterface.
AbstractFSAFactory<L extends LabelInterface> An abstract class extended by all factories that create finite state automata (FSAs) of type AbstractFSA.
AbstractFSATransition<L extends LabelInterface> An abstract class that represents a transition in an FSA of type FSAInterface.
AbstractFSATransitionTable<L extends LabelInterface> A helper class for RunnableFSAs that allows computation to be performed on them.
AbstractMutableFSA<L extends LabelInterface> An abstract class representing FSAs that are mutable.
AbstractRunnableFSA<L extends LabelInterface> An abstract class representing FSAs that are runnable.
DeadStateEliminator<L extends LabelInterface> The DeadStateEliminator class eliminates all dead states.
DFATransitionTable<L extends LabelInterface> A helper class for RunnableDFAs that allows computation to be performed on them.
FSADotWriter<L extends LabelInterface> The FSADotWriter class outputs the given FSA in dot format to the specified output.
FSAEpsilonTransition<L extends LabelInterface> This class represents epsilon (ε) transitions in FSAs of type AbstractFSA.
FSALabelPatternTransition<L extends LabelInterface> This class represents transitions on a LabelPattern in FSAs of type AbstractFSA.
FSALabelTransition<L extends LabelInterface> This class represents transitions on a Label in FSAs of type AbstractFSA.
FSAState<L extends LabelInterface> An FSAState represents a state in an FSA of type FSAInterface.
FSATransitionTable<L extends LabelInterface> A helper class for RunnableFSAs that allows computation to be performed on them.
IndexedDFAFactory A factory that creates deterministic finite state automata (DFAs) of type AbstractFSA that are associated with IndexedLabels.
IndexedFSAFactory A factory that creates finite state automata (FSAs) of type AbstractFSA that are associated with IndexedLabels.
MutableDFA<L extends LabelInterface> This class represents DFAs that are mutable.
MutableFSA<L extends LabelInterface> This class represents FSAs that are mutable.
RunnableDFA<L extends LabelInterface> This class represents DFAs that are runnable.
RunnableFSA<L extends LabelInterface> This class represents FSAs that are runnable.
SourceStateIterator<L extends LabelInterface> The SourceStateIterator class provides a way to convert the given Set of FSATransitionInterfaces into an Iterator over the FSAStateInterfaces that are the sources of those transitions.
StringDFAFactory A factory that creates deterministic finite state automata (DFAs) of type AbstractFSA that are associated with StringLabels.
StringFSAFactory A factory that creates finite state automata (FSAs) of type AbstractFSA that are associated with StringLabels.
TargetStateIterator<L extends LabelInterface> The TargetStateIterator class provides a way to convert the given Set of FSATransitionInterfaces into an Iterator over the FSAStateInterfaces that are the targets of those transitions.
TotalFSATransformer<L extends LabelInterface> The TotalFSATransformer class transforms the given FSA into a total FSA.
UnreachableStateEliminator<L extends LabelInterface> The UnreachableStateEliminator class elimates all states contained within the given FSA that are not reachable from the start state.
 

Exception Summary
FSAInterfaceException An Exception thrown by classes in the laser.fsainterface package.
WellFormednessException An Exception thrown by classes in the laser.fsa package when an FSA is not well-formed.
 

Package laser.regularlanguage.fsa Description

Contains classes for creating and manipulating finite state automata (FSAs).

See FSAInterface for the formal definition of an FSA and for how an FSA may be manipulated.

The FSAFactoryInterface should be used to create new FSAs.

The FSAInterface should be used to read (write) an existing FSA from (to) a file.

The AbstractFSA class and its subclasses provide an implementation of an FSA.

The Indexed(FSA|DFA)Factory class creates FSAs that have indexed labels.

The String(FSA|DFA)Factory class creates FSAs that have string labels.