System.out.println("union: "+autA.getName()+" "+autB.getName());
    public static void autUnion(FSA autA, FSA autB) {                System.out.println("union: "+autA.getName()+" "+autB.getName());            }