Разработка формальной модели грамматики официально-делового стиля узбекского языка и её программная реализация

Аннотация

Объекты исследования: морфология и синтаксис грамматики узбекского языка. Цель исследования: разработка формальной и аксиоматической моделей грамматики официально-делового стиля узбекского языка. Метод исследования: математическое моделирование, аксиоматическая теория 1-го порядка. Полученные результаты и их новизна: разработаны формальные модели и аксиоматическая теория грамматики официально-делового стиля узбекского языка; приведены перечень аксиом, правила вывода, теоремы и их доказательства; доказаны утверждения о полноте, неизбыточности и непротиворечивости аксиоматической теории; Практическая значимость: разработанные модели применяются в компьютерной программе синтаксического анализа предложений официально-делового стиля узбекского языка. Степень внедрения и экономическая эффективность: полученнқе результаты используются в учебном процессе на факультетах Узбекской и Зарубежной филологии Национального Университета имени Мирзо Улугбека при проведении занятий по предмету компьютерной лингвистике. Область применении: математическое моделирование, математическая и компьютерная лингвистика.