нақты тілде жазылған сөйлемді предикаттар логикасы сияқты формальды тілдер жүйесіне автоматты түрде ауыстыру нақты тілді түсіну деп аталады