Формализация языка: современные средства и методы