- •5 Січня 2012 року,
- •Рекомендована література
- •Визначення формальної граматики і мови. Первинні поняття. Приклади, що ілюструють первинні поняття
- •Еквівалентні, тому що їх обидві породжує мова:
- •Порожня мова. Типи формальних мов і граматик. Граматики типу 0. Граматики типу 1. Граматики типу 2. Граматики типу 3. Висновок у кс-граматиках і правила побудови дерева висновку
- •Рекомендована література
- •Перелік додаткової літератури
- •Пратт т., Зелковиц м. Языки программирования: разработка и реализация. Издательство: Питер, 2002. – 688 с.
- •Мозговой м.В. Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход. Издательство: Наука и Техника, 2006. – 320 с.
Рекомендована література
1. А. Ахо, Р. Сети, Дж. Ульман. Компиляторы: принципы, технологии и инструменты - Москва, Вильямс, 2001. – 577 с.
2. Д. Кнут. Искусство программирования. Т.1. Основные алгоритмы - М.: Вильямс, 2000. – 682 с.
3. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003. - 1104 c.
4. Лавров С.С. Программирование. Математические основы, средства, теория. - СПб: БХВ-Петербург, 2001. – 847 с.
5. Гордеев А. В., Молчанов А. Ю. Системное программное обеспечение. СПб.: Питер, 2001. - 736 с.
6. Хопкрофт Дж. Э., Мотвани Р., Ульман Дж. Д. Введение в теорию автоматов, языков и вычислений, 2-е изд. М.: Вильямс, 2002. - 528 с.
7. Л. Бек. Введение в системное программирование. М., Мир, 1988 г. – 287 с.
8. Н.Вирт. Алгоритмы + структура данных = программы. М., Мир, 1985 г. – 184 с.
9. Джулій В.М., Савенко О.С., Муляр І.В. Системне програмне забезпечення: Навчальний посібник.- Хмельницький: ТУП, 2003 – 270с.
10. А.Ахо, Р. Сети, Д.Ульман Компиляторы. Принципы, технологии, инструменты. Пер. с англ. – Издательский дом «Вильямс», 2003. – 768с.
11. Волкова И.А Руденко Т.В. Формальные грамматики и языки. Элементы теории трансляции. Издательский отдел МГУ им. Ломоносова. – 2001. – с.99
Перелік додаткової літератури
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ). Пер. с англ. – Издательский дом «Вильямс», 2000. – 612 с.
Дж. Фостер Автоматический синтаксический аналіз. – Изд. Мир, 1975. -75 с.
Пратт т., Зелковиц м. Языки программирования: разработка и реализация. Издательство: Питер, 2002. – 688 с.
Головешкин В.А., Ульянов М.В. Теория рекурсии для программистов. Издательство: М.,Физматлит, 2006. – 296 с.
М. Минский Вычисления и автоматы. Издательство: М.,Физматлит, 1971. – 366 с.
Антонов А.В. Системный анализ. Учебник для вузов. -М.: Высшая школа, 2004. – 454с.
Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных автоматов. Гос. издательство физ.-мат. литературы. – 1962. – 405 с.
Мозговой м.В. Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход. Издательство: Наука и Техника, 2006. – 320 с.
Веревкин А.П., Кирюшин О.В. Теория систем. Издательство: УГНТУ, 2003. – 100 с.
В. И. Новосельцев, Б. В. Тарасов, В. К. Голиков, Б. Е. Демин Теоретические основы системного анализа. Издательство: Майор, 2006. – 592 с.
Томас Х. Кормен, Чарльз И. Лейзерсон Алгоритмы. Построение и анализ. Пер. с англ. – Издательский дом «Вильямс», 2006. – 1296 с.
Робин Хантер Основные концепции компиляторов. Пер. с англ. – Издательский дом «Вильямс», 2002. – 256 с.