NFA.java

package de.unisiegen.gtitool.core.machines.nfa;


import de.unisiegen.gtitool.core.machines.Machine;


/**
 * The interface for nondeterministic finite automatons.
 * 
 * @author Christian Fehler
 * @version $Id$
 */
public interface NFA extends Machine
{
  // Do nothing
}