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

Спеціальність: Філологія (прикладна лінгвістика)
Код дисципліни: 6.035.10.O.040
Кількість кредитів: 3.00
Кафедра: Інформаційні системи та мережі
Лектор: Лозицький О.
Семестр: 7 семестр
Форма навчання: денна
Результати навчання: • означення та методи визначення смислової інформації слів та надлишковості тексту; • означення та методику побудови функцій розподілу в тексті складів, слів, словосполучень і граматичних класів; • методи побудови статистичних моделей тексту та імовірнісних характеристик норм мови; • означення породжувальних граматик та їх класифікацію за Н.Хомським; • алгоритмічні аспекти теорії породжувальних граматик.
Необхідні обов'язкові попередні та супутні навчальні дисципліни: • Теорія ймовірності та математична статистика, • Основи програмування, • Організація баз даних та знань • Інтелектуальний аналіз даних • Дискретна математика
Короткий зміст навчальної програми: Квантитативна лінгвістика. Імовірнісне моделювання породження тексту та його складових одиниць. Первинна статистичне опрацювання тексту. Статистичні моделі тексту та імовірнісні характеристики норми мови. Породжувальні граматики. Скінченні автомати. Розпізнавання мов.
Методи та критерії оцінювання: • Поточний контроль (45%): письмові звіти з лабораторних робіт, контрольні роботи, усне опитування • Підсумковий контроль (55%, екзаменаційний контроль): тестування (45%), усна компонента (10%)
Рекомендована література: • Пасічник В.В., Щербина Ю.М., Висоцька В.А., Шестакевич Т.В. Математична лінгвістика – Львів.: "Новий світ 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.