package road;

import java.util.List;

/* Deterministic and complete automaton
 * 
 * 
 */

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