public Transformer(FiniteStateTable dfa) { this.dfa = dfa; flatFST = new FlatFST(); used = new BitSet(dfa.getTransitionTable().size()); used.clear(); statePosition = new int[dfa.getDFA().size()]; }