int rank
int[] initial
int[] states
int[][] finalstates
int[] fina
int[] label
int[] rho
int[] register
int states
int initial
int[] finalstates
Transition[] tra
int label
int fina
java.util.Vector<E>[] streg
int sigma
int delta
int Z
int zeta