code: public static void export(Fst fst, String basename) {
      exportSymbols(fst.getInputSymbols(), basename + INPUT_SYMS);
      exportSymbols(fst.getOutputSymbols(), basename + OUTPUT_SYMS);
      if (fst.isUsingStateSymbols()) {
        exportSymbols(fst.getStateSymbols(), basename + STATES_SYMS);
      }
      exportFst(fst, basename + FST_TXT);
    }
docs: Exports an fst to the openfst text format Several files are created as follows: - basename.input.syms -
  basename.output.syms - basename.fst.txt See <a href="http://www.openfst.org/twiki/bin/view/FST/FstQuickTour">OpenFst
  Quick Tour</a>
  
  @param fst      the fst to export
  @param basename the files' base name