package de.renew.faformalism.util;


/**
 * This interface is implemented by datastructures needed for the simulation of specific automaton variants.
 * For example, for PDAs, this interface is implemented as a stack (see {@link StackDataStructure}) and will
 * be used as a tape for Turing Machines in the future.
 * Instances of this type are used during the simulation of automata.
 */
public interface AutomatonDataStructure {
}
