Ви переглядаєте архівну версію офіційного сайту НУЛП (2005-2020р.р.). Актуальна версія: https://lpnu.ua

Формальні мови, граматики та автомати

Спеціальність: Філологія (прикладна лінгвістика)
Код дисципліни: 6.035.10.O.66
Кількість кредитів: 3
Кафедра: Інформаційні системи та мережі
Лектор: к.т.н., доцент Висоцька Вікторія Анатоліївна
Семестр: 7 семестр
Форма навчання: заочна
Результати навчання:
• означення та методи визначення смислової інформації слів та надлишковості тексту;
• означення та методику побудови функцій розподілу в тексті складів, слів, словосполучень і граматичних класів;
• методи побудови статистичних моделей тексту та імовірнісних характеристик норм мови;
• означення породжувальних граматик та їх класифікацію за Н.Хомським;
• алгоритмічні аспекти теорії породжувальних граматик.

Необхідні обов'язкові попередні та супутні навчальні дисципліни:
• Теорія ймовірності та математична статистика,
• Основи програмування,
• Організація баз даних та знань
• Інтелектуальний аналіз даних
• Дискретна математика
Короткий зміст навчальної програми:
Квантитативна лінгвістика. Імовірнісне моделювання породження тексту та його складових одиниць. Первинна статистичне опрацювання тексту. Статистичні моделі тексту та імовірнісні характеристики норми мови. Породжувальні граматики. Скінченні автомати. Розпізнавання мов.
Рекомендована література:
• Пасічник В.В., Щербина Ю.М., Висоцька В.А., Шестакевич Т.В. Математична лінгвістика – Львів.: "Новий світ 2000", 2012. – 359 с.
• Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика. – Львів.: Видавництво "Магнолія-2006", 2009. – 432 с.
• М.Гросс, А.Лантен. Теория формальных грамматик. Мир, 1971.
• О.П.Кузнецов, Г.М.Адельсон-Вельский. Дискретная математика для инженера. Энергоатомиздат, 1988. Гл. 7, 8.
• Д.Кук, Г.Бейз. Компьютерная математика. Наука, 1990. Гл. 8, 9.
• А.В.Катренко. Проблема лексичної інтерпретації при опрацюванні природномовних текстів. // Вісник НУ „Львівська політехніка”. Інформаційні системи та мережі. 2002, № 464. С. 132 – 138.
• Ю.М.Щербина. Предмет математичної лінгвістики. // Вісник НУ „Львівська політехніка”. Інформаційні системи та мережі. 2002, № 464. С. 340 – 349.
• B.H.Partee. Integrating Lexical and Compositional Semantic. Lecture 1. Introduction to Formal Semantics and Compositionality. Prague, March 2003.
Методи і критерії оцінювання:
• Поточний контроль (45%): письмові звіти з лабораторних робіт, контрольні роботи, усне опитування
• Підсумковий контроль (55%, екзаменаційний контроль): тестування (45%), усна компонента (10%)