Рассматривается логико-вероятностная модель коррекции обнаруженных ошибок в системе проверки орфографии, формируется критерий оценки корректирующих свойств конкретного орфографического словаря. Предлагается имитационная и аналитическая модель для оценки значений показателей правильной и ложной коррекции по отношению к типовым ошибкам пользователя, приводятся результаты моделирования для выбранных словарей русского и украинского языков. Обсуждается взаимосвязь между значениями показателей корректирующих и контролирующих свойств.
Розглядається логіко-імовірнісна модель корекції виявлених помилок у системі перевірки орфографії, формується критерій оцінки коригувальних властивостей конкретного орфографічного словника. Пропонується імітаційна і аналітична модель для оцінки значень показників правильної і помилкової корекції по відношенню до типових помилок користувача, наводяться результати моделювання для обраних словників російської та української мов. Обговорюється взаємозв'язок між значеннями показників коригувальних і контролюючих властивостей.
The logical and probability model of detected error correction in spell checking system is considered; the criterion of assessment of the correction properties of the reference spelling dictionary is being formed. Simulation and analytical models for assessment of values of the right and false correction in relation to the typical typing errors is proposed, results of modeling for the selected dictionaries of the Russian and Ukrainian languages are given. The correlation between values of indicators of the correction and verification properties is discussed.