sentence1: the decoder is implemented with weighted finite state transducers using standard operations available in the openfst libraries .
sentence2: our decoder is implemented as a cascade of weighted finite-state transducers using the functionalities of the openfst library .