Flammie’s finite-state machine translation–finite-state formulation of rule-based and statistical mt