FST基本操作

与上一篇一样，FST操作也可以通过C++代码和shell命令行两种方式进行操作。继续分别介绍

1、在C++代码中调用FST的方法进行操作

FST中的几个基本的抽象类模板

• Fst 支持基本的fst的操作
• ExpandedFst 额外增加了NumStates()方法
• MutableFst 增加了几种操作的变种比如AddStates()和SetStart()

Fst中的几种非抽象类模板

• VectorFst
• ConstFst
• ComposeFst

FST的C++操作一般有三种形式：

（1） Destructive：例如 Connect操作， 会改变其输入

void Connect(MutableFst<Arc> *fst);

（2）Constructive：例如Reverse操作， 创建一个新的expanedFst

void Reverse(const Fst<Arc> &infst, MutableFst<Arc> *outfst);

（3）Delayed： 例如ComposeFst,创建一个unexpectedFst

ComposeFst<Arc>(const Fst<Arc> &fst1, const Fst<Arc> &fst2);

2、shell操作fst， 使用C++编写好的命令进行操作，参数包括输入和输出的fst，如果没有则为标准输入输出

  - Unary Operations
  fstunaryop in.fst out.fst
  fstunaryop <in.fst >out.fst
  - Binary Operation
  fstbinaryop in1.fst in2.fst out.fst
  fstbinaryop - in2.fst <in1.fst >out.fst

3、WFST中最重要的Composition操作举例：

C++代码中：

#include <fst/fstlib.h>

namespace fst {
  // 读取input.fst
  StdVectorFst *input = StdVectorFst::Read("input.fst");

  // 读取另一个model.fst
  StdVectorFst *model = StdVectorFst::Read("model.fst");

  // The FSTs must be sorted along the dimensions they will be joined.
  // In fact, only one needs to be so sorted.
  // This could have instead been done for "model.fst" when it was created.
  // 只需要给model.fst排序即可
  ArcSort(input, StdOLabelCompare());
  ArcSort(model, StdILabelCompare());

  // Container for composition result.
  //定义合成的composition的fst
  StdVectorFst result;

  // Creates the composed FST.
  // 进行compose操作 输入input, model, 输出result
  Compose(*input, *model, &result);

  // Just keeps the output labels.
  Project(&result, PROJECT_OUTPUT);

  // Writes the result FST to a file.
  // 保存result.fst
  result.Write("result.fst");
}

shell中进行compose操作，过程与C++中的一致：

$ fstarcsort --sort_type=olabel input.fst input_sorted.fst
$ fstarcsort --sort_type=ilabel model.fst model_sorted.fst

$ fstcompose input_sorted.fst model_sorted.fst comp.fst

$ fstproject --project_output comp.fst result.fst

# 直接通过一个管道操作
$ fstarcsort --sort_type=ilabel model.fst | fstcompose input.fst - | fstproject --project_output result.fst

4、常用的FST操作

参考官网 http://www.openfst.org/twiki/bin/view/FST/FstQuickTour

5、FST的一些定义：

权重的计算都定义在一个Weight类型中，包括半环的加操作Plus(x, y)和乘操作Times(x, y)，静态成员函数Zero(), One()代表加操作和乘操作的幺元。加操作用来计算两条可选的路劲。比如Tropical半环的加操作为min(x, y),表示选择路径权重小的作为新的权重。乘操作是在于一条路径上上计算匹配的路径，包括composition操作。当且仅当一个状态的权重不为加操作的幺元时才能作为终止状态。同理，一条路径的权重也不能使加操作的幺元。不然这条路劲就没有任何意义。与幺元进行加操作等于其本身。
到这基本了解了FST的一些基本的用法。现在总结一下。一个WFST包含的东西应该有状态集合，转移结合，输入label，输出label，权重。
定义一个stdvectorFst 要对其添加状态addstate（）， 添加转移addarc（）， 而输出label和输入label以及权重都是保存在一个类中。这个类就是我们之前一直看到的Arc。这个类保存了输入label，输出label和权重信息。是FST中最关键的一个类。我们再来复习一下这个类的声明：

StdFst *fst = StdFst::Read("binary.fst")

//Here is the standard representation of an arc:
struct StdArc {
 typedef int Label;
 typedef TropicalWeight Weight; // see "FST Weights" below
 typedef int StateId;

 Label ilabel;                  //输入label，其实就是一个int类型，因为label已经转化为对应的数值了
 Label olabel;                    //输出label
 Weight weight;                  //从上面的定义中看出是一个满足Tropical半环计算的Weight类型的权重
 StateId nextstate;               //到达的状态id，也是int类型
};

所以在之后看到Label类型和StateId类型都不需要慌张，它们都是int类型，都是转化的数字。