FORMAL GRAMMAR/MATHEMATICS OF LANGUAGE'01