Logical Specification Of Finite-State Transductions For Natural Language Processing