DFA.java

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


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


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