Теорія алгоритмів і обчислювальних процесів

Abstract

Подано історичний екскурс для висвітлення етимології понять «алгоритм», «алфавітний оператор» і «алгоритмічні системи». Наведено основні засоби побудови алгоритмічних систем, що спрямовані на вирішення фундаментальних проблем теорії алгоритмів, а саме доказу обчислюваності та розв’язності. Особливу увагу приділено прикладним питанням математичної лінгвістики — організації ефективного машинного оброблення природно-мовних текстів з урахуванням семантики мікро- і макроконтексту. Для студентів спеціальності 6.020303 «Прикладна лінгвістика».