Finite-State Language Processing