|
Упражнение 2.1.25 |
Инспектор
Вы можете этот курс.
КубГТУ:
Математическая теория формальных языков
: Литература по курсу
Московский государственный университет имени М.В.Ломоносова
Опубликован: 09.07.2007 | Доступ: свободный | Студентов: 4 / 3 | Оценка: 4.56 / 4.26 | Длительность: 20:40:00
ISBN: 978-5-9556-0062-8
Специальности: Математик
Теги:
- 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.Nondeterministic space is closed under complementationSIAM Journal on Computing. — 1988. — Vol. 17, no. 5. — P. 935—938
- 34.Elements of the Theory of ComputationPrentice Hall, 1981. — 466 p
- 35.Elements of the Theory of Computation2nd ed. Prentice Hall, 1998. — 361 p
- 36.Introduction to the Theory of ComputationPWS Publishing company, 1997. — 396 p
- 37.Decidability of DPDA equivalenceTheoretical Computer Science. — 2001. — Vol. 255, no. 1—2. — P. 1—31
- 38.The method of forcing for nondeterministic automataBulletin of the EATCS. — 1987. — Vol. 33, no. 5. — P. 96—100