Finite-state approximation of phrase structure grammars