Blame view

src/fstbin/fstrmepslocal.cc 3.06 KB
8dcb6dfcb   Yannick Estève   first commit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
  // fstbin/fstrmepslocal.cc
  
  // Copyright 2009-2011  Microsoft Corporation
  
  // See ../../COPYING for clarification regarding multiple authors
  //
  // Licensed under the Apache License, Version 2.0 (the "License");
  // you may not use this file except in compliance with the License.
  // You may obtain a copy of the License at
  //
  //  http://www.apache.org/licenses/LICENSE-2.0
  //
  // THIS CODE IS PROVIDED *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
  // KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
  // WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
  // MERCHANTABLITY OR NON-INFRINGEMENT.
  // See the Apache 2 License for the specific language governing permissions and
  // limitations under the License.
  
  
  #include "base/kaldi-common.h"
  #include "util/kaldi-io.h"
  #include "util/parse-options.h"
  #include "util/text-utils.h"
  #include "fst/fstlib.h"
  #include "fstext/determinize-star.h"
  #include "fstext/fstext-utils.h"
  #include "fstext/kaldi-fst-io.h"
  
  
  /*
   A test example:
   ( echo "0 1 1 0"; echo "1 2 0 2"; echo "2 0"; ) | fstcompile | fstrmepslocal | fstprint
  # prints:
  # 0     1    1    2
  # 1
   ( echo "0 1 0 0"; echo "0 0"; echo "1 0" ) | fstcompile | fstrmepslocal | fstprint
  # 0
    ( echo "0 1 0 0"; echo "0 0"; echo "1 0" ) | fstcompile | fstrmepslocal | fstprint
    ( echo "0 1 0 0"; echo "0 0"; echo "1 0" ) | fstcompile | fstrmepslocal --use-log=true | fstprint
  #  0    -0.693147182
  
  */
  
  int main(int argc, char *argv[]) {
    try {
      using namespace kaldi;
      using namespace fst;
      using kaldi::int32;
  
      const char *usage =
          "Removes some (but not all) epsilons in an algorithm that will always reduce the number of
  "
          "arcs+states.  Option to preserves equivalence in tropical or log semiring, and
  "
          "if in tropical, stochasticit in either log or tropical.
  "
          "
  "
          "Usage:  fstrmepslocal  [in.fst [out.fst] ]
  ";
  
      ParseOptions po(usage);
      bool use_log = false;
      bool stochastic_in_log = true;
      po.Register("use-log", &use_log,
                  "Preserve equivalence in log semiring [false->tropical]
  ");
      po.Register("stochastic-in-log", &stochastic_in_log,
                  "Preserve stochasticity in log semiring [false->tropical]
  ");
      po.Read(argc, argv);
  
      if (po.NumArgs() > 2) {
        po.PrintUsage();
        exit(1);
      }
  
      std::string fst_in_filename = po.GetOptArg(1),
          fst_out_filename = po.GetOptArg(2);
  
      VectorFst<StdArc> *fst = ReadFstKaldi(fst_in_filename);
  
      if (!use_log && stochastic_in_log) {
        RemoveEpsLocalSpecial(fst);
      } else if (use_log && !stochastic_in_log) {
        std::cerr << "fstrmsymbols: invalid combination of flags
  ";
        return 1;
      } else if (use_log) {
        VectorFst<LogArc> log_fst;
        Cast(*fst, &log_fst);
        delete fst;
        RemoveEpsLocal(&log_fst);
        fst = new VectorFst<StdArc>;
        Cast(log_fst, fst);
      } else {
        RemoveEpsLocal(fst);
      }
  
      WriteFstKaldi(*fst, fst_out_filename);
      delete fst;
      return 0;
    } catch(const std::exception &e) {
      std::cerr << e.what();
      return -1;
    }
  }