public static void autUnion(FSA autA, FSA autB) {
public static FSA autUnion(FSA autA, FSA autB) { FSA resultFSA, otherClone; int stateMaxA = -1; int stateMaxB = -1; int offset;
    public static void autUnion(FSA autA, FSA autB) {                System.out.println("union: "+autA.getName()+" "+autB.getName());            }