laser.regularlanguage.fsa
Class DeadStateEliminator<L extends LabelInterface>

java.lang.Object
  extended by laser.regularlanguage.fsa.DeadStateEliminator<L>

public class DeadStateEliminator<L extends LabelInterface>
extends java.lang.Object

The DeadStateEliminator class eliminates all dead states. A dead state is any state except for the start state that cannot reach an accept state by any sequence of transitions.

Author:
Heather M. Conboy (laser-software@cs.umass.edu)

Constructor Summary
DeadStateEliminator()
          Creates a new DeadStateEliminator.
 
Method Summary
 boolean eliminate(MutableFSAInterface<L> fsa)
          Eliminates any dead states contained in the given FSA.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DeadStateEliminator

public DeadStateEliminator()
Creates a new DeadStateEliminator.

Method Detail

eliminate

public boolean eliminate(MutableFSAInterface<L> fsa)
Eliminates any dead states contained in the given FSA.

Parameters:
fsa - The FSA of interest