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

Ushbu dissertatsiya ishi o'zbek tilining rasmiy-ish yuritish uslubi grammatikasining formal modelini yaratishga bag'ishlangan. Ishda ushbu uslubning morfologik va sintaktik tuzilishi, grammatik qoidalari va ularni kompyuterda amalga oshirish masalalari ko'rib chiqilgan. Dissertatsiyada rasmiy-ish yuritish uslubining formal grammatikasi, aksiomatik nazariyasi ishlab chiqilgan va sintaktik tahlil dasturi yaratilgan.

Asosiy mavzular

Rasmiy-ish yuritish uslubining formal modeli: Ushbu mavzuda o'zbek tilining rasmiy-ish yuritish uslubi grammatikasining formal modeli yaratilgan. Model ushbu uslubning morfologik va sintaktik qoidalarini formal tilda ifodalaydi va kompyuterda sintaktik tahlilni amalga oshirish uchun asos bo'ladi.
Rasmiy-ish yuritish uslubining aksiomatik nazariyasi: Ushbu mavzuda o'zbek tilining rasmiy-ish yuritish uslubi grammatikasining aksiomatik nazariyasi ishlab chiqilgan. Nazariya ushbu uslubning asosiy tushunchalari va qoidalarini aksiomalar va chiqarish qoidalari orqali ifodalaydi.
Sintaktik tahlil dasturi: Ushbu mavzuda o'zbek tilining rasmiy-ish yuritish uslubidagi gaplarni sintaktik tahlil qilish uchun kompyuter dasturi yaratilgan. Dastur formal model va aksiomatik nazariyaga asoslanadi va gapning sintaktik tuzilishini aniqlashga imkon beradi.