поддержка курса Математическая теория формальных языков
информация [-] информация [+] Авторы: А.Е. Пентус, М.Р. Пентус | ISBN: 978-5-9556-0062-0

---

?	Уровень: для профессионалов || Статус: бесплатный || Опубликован: 09.07.2007 Рейтинг: 4.68 || Популярность: 2 || Студентов: 764/80

---

Студентам: версия для локальной работы | литература | учебники | форум | мнения | однокурсники | рейтинг

---

 

экзамен

 

 

экстернат

 

 

диплом

 

 

Лекции:

 

• 0
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16

 

Учебники к курсу

1. Пентус А.Е., Пентус М.Р.
   Математическая теория формальных языков
   БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий - ИНТУИТ.ру, 2006

Список литературы

1. Ахо А., Сети Р., Ульман Дж
   Компиляторы: принципы, технологии и инструменты
   М.: Вильямс, 2001. — 768 с
2. Ахо А., Ульман Дж
   Теория синтаксического анализа, перевода и компиляции. Т. 1: Синтаксический анализ
   М.: Мир, 1978. — 612 с
3. Ахо А., Хопкрофт Дж., Ульман Дж
   Построение и анализ вычислительных алгоритмов
   М.: Мир, 1979. —536 с
4. Братчиков И. Л
   Синтаксис языков программирования
   М.: Наука, 1975. — 232 с
5. Верещагин Н. К., Шень А
   Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
   М.: МЦНМО, 1999. — 176 с
6. Волкова И. А., Руденко Т. В
   Формальные грамматики и языки. Элементы теории трансляции
   2-е изд. перераб. и допМ.: Диалог-МГУ, 1999. — 62 с
7. Гинзбург С
   Математическая теория контекстно-свободных языков
   М.: Мир, 1970. — 326 с
8. Гладкий А. В
   Формальные грамматики и языки
   М.: Наука, 1973. — 368 с
9. Гладкий А. В., Мельчук И. А
   Элементы математической лингвистики
   М.: Наука, 1969. — 192 с
10. Гордеев А. В., Молчанов А. Ю
    Системное программное обеспечение
    СПб.: Питер, 2001. — 736 с
11. Грис Д
    Конструирование компиляторов для цифровых вычислительных машин
    М.: Мир, 1975. — 544 с
12. Гросс М., Лантен А
    Теория формальных грамматик
    М.: Мир, 1971. — 294 с
13. Гэри М., Джонсон Д
    Вычислительные машины и труднорешаемые задачи
    М.: Мир, 1982. — 416 с
14. Карпов Ю. Г
    Теория автоматов
    СПб.: Питер, 2002. — 224 с
15. Китаев А., Шень А., Вялый М
    Классические и квантовые вычисления
    М.: МЦНМО, ЧеРо, 1999. — 192 с
16. Компаниец Р. И., Маньков Е. В., Филатов Н. Е
    Системное программирование. Основы построения трансляторов
    СПб.: КОРОНА принт, 2000. — 256 с
17. Кормен Т., Лейзерсон Ч., Ривест Р
    Алгоритмы: построение и анализ
    М.: МЦНМО, 1999. — 960 с
18. Кук Д., Бейз Г
    Компьютерная математика
    М.: Наука, 1990. — 384 с
19. Лаллеман Ж
    Полугруппы и комбинаторные приложения
    М.: Мир, 1985. — 440 с
20. А. Тейз, П. Грибомон, Ж. Луи и др
    Логический подход к искусственному интеллекту: От классической логики к логическому программированию
    М.: Мир, 1990. - 432 с
21. Льюис Ф., Розенкранц Д., Стирнз Р
    Теоретические основы проектирования компиляторов
    М.: Мир, 1979. — 656 с
22. Мартыненко Б. К
    Языки и трансляции
    СПб.: Издательство С.-Петербургского университета, 2004. — 235 с
23. Мозговой М. В
    Классика программирования: алгоритмы, языки, автоматы, компиляторы.Практический подход
    СПб.: Наука и Техника, 2006. — 320 с
24. Рейуорд-Смит В. Дж
    Теория формальных языков. Вводный курс
    М.: Радио и связь, 1988. — 128 с
25. Саломаа А
    Жемчужины теории формальных языков
    М.: Мир, 1986. — 159 с
26. Серебряков В. А., Галочкин М. П., Гончар Д. Р., Фуругян М. Г
    Теория и реализация языков программирования. — М.: МЗ-Пресс, 2003. — 345 с
    
27. Соколов В. А., Кушниренко О. Б., Бадин Н. М
    Формальные языки и грамматики. Задачи и упражнения
    Ярославль: Ярославский государственный университет, 1993. — 55 с.
28. Сэвидж Дж. Э
    Сложность вычислений
    М.: Факториал, 1998. — 368 с
29. Трахтенброт Б. А., Барздинь Я. М
    Конечные автоматы (поведение и синтез)
    М.: Наука, 1970. — 400 с
30. Успенский В. А., Верещагин Н. К., Плиско В. Е
    Вводный курс математической логики
    2-е изд. — М.: Физматлит, 2002. — 128 с
31. Хопкрофт Дж. Э., Мотвани Р., Ульман Дж. Д
    Введение в теорию автоматов, языков и вычислений
    2-е изд. — М.: Вильямс, 2002. — 528 с
32. Шень А
    Программирование: теоремы и задачи
    М.: МЦНМО, 1995. — 264 с
33. Immerman N
    Nondeterministic space is closed under complementation
    SIAM Journal on Computing. — 1988. — Vol. 17, no. 5. — P. 935—938
34. Lewis H. R., Papadimitriou C. H
    Elements of the Theory of Computation
    Prentice Hall, 1981. — 466 p
35. Lewis H. R., Papadimitriou C. H
    Elements of the Theory of Computation
    2nd ed. Prentice Hall, 1998. — 361 p
36. Sipser M
    Introduction to the Theory of Computation
    PWS Publishing company, 1997. — 396 p
37. Stirling C
    Decidability of DPDA equivalence
    Theoretical Computer Science. — 2001. — Vol. 255, no. 1—2. — P. 1—31
38. Szelepcse. nyi R
    The method of forcing for nondeterministic automata
    Bulletin of the EATCS. — 1987. — Vol. 33, no. 5. — P. 96—100