Программы, предназначенные для автоматического перевода текстов с одного языка на другой, а также проверки правописания текстов на разных языках, называются