if( nullable( subexpr )) finals.put( new Integer(0), finalTag );
      public NondetWordAutom automatonFrom( Tree pat, Integer finalTag ) {            this.finalTag = finalTag;                        //System.out.println( "enter automatonFrom("+pat+","+finalTag+")"); // UNIT TEST            //System.out.println( TextTreePrinter.toString(pat) );            /*DEBUG = new TextTreePrinter( System.out );            DEBUG.begin();            DEBUG.print( pat );            DEBUG.end();            */            //System.out.println( nullableSequence( pat )); // UNIT TEST            switch( pat ) {            case Sequence( Tree[] subexpr ):                  initialize( subexpr );                  // (1) compute first                                    //globalFirst = compFirst( subexpr );                  //System.out.println(globalFirst);                  // (2) compute follow;                  ++pos;                  //Set ignore = compFollow( subexpr );                  //System.out.println(ignore);                  //System.exit(0);                  //assert (ignore.equals( globalFirst ));                  globalFirst = compFollow( subexpr );                  //System.out.print("someFirst:");debugPrint(someFirst);                                    // construct the automaton's explicit representation                  initializeAutom();                  // defaultqRev = new Vector[ pos ];  // default transitions                  collectTransitions();                  //TreeSet initials = new TreeSet();                  //initials.add( new Integer( 0 ) );                                    NondetWordAutom result =                         new NondetWordAutom(pos, // = nstates                                            labels,                                            initials,                                            finals,                                            deltaq,                                            defaultq,                                            null/*(Object) qbinders*/);                                    /*                  System.out.println("inBerrySethi");                  XMLAutomPrinter pr = new XMLAutomPrinter( System.out );                  pr.begin();                  pr.print( result );                  pr.print( revNfa );                  pr.end();                  System.out.println("initialsRev = "+initialsRev);                  System.out.println("outBerrySethi");                  */                  //System.exit(0);                  return result;                  //print();            }            throw new ApplicationError("expected a sequence pattern");      }