a high-level language, based on OpenFst, for finite-state programming