Pushdown Transducer Library (PDTs)
This is an experimental push-down transducer (PDT) library. A PDT is
encoded as an FST, where some transitions are labeled with open or close
parentheses. To be interpreted as a PDT, the parentheses must balance on a path.
This is an extension library of the
OpenFst library. See
here for more information.