package road;

import java.util.List;

/* Deterministic and complete automaton
 * 
 * 
 */

public interface NonDeterministicAutomaton {
	   int arity();
	   int size();
	   List<Integer> edges(int x, int c);
	   List<List<List<Integer>>> getEdges();
}