Linguistic Support of Computer-Aided Design Systems

Major: Computer Sciences
Code of subject: 7.122.00.M.20
Credits: 5.00
Department: Computer-Aided Design
Lecturer: Korpylov D.V.
Semester: 2 семестр
Mode of study: денна
Learning outcomes: Differentiated test The purpose of studying the discipline "Linguistic support of computer-aided design systems" is to acquaint students with the content of the theory of formal languages, the basic principles, methods and algorithms of parsing formal languages ??(including programming languages), as well as automata - abstractions of recognizers and language converters. The discipline "Linguistic support of computer-aided design systems" uses educational material of the disciplines "Discrete Mathematics and Mathematical Logic", "Programming".
Required prior and related subjects: -
Summary of the subject: The main objectives of the discipline "Linguistic support of computer-aided design systems" are: mastering by students of concepts related to formal languages, their recognition and processing; development of theoretical and practical skills in working with formal languages; understanding the possibilities and limitations of working with formal languages.
Assessment methods and criteria: The test is differentiated
Recommended books: 1. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В 2-х томах. Том 1. М.: Мир, 1978. –616с. 2. Ахо А., Моника С. Лам М., Рави Сети Р., Ульман Дж. Компиляторы. Принципы, технологии и инструментарий. – Вильямс, 2003. – 768 с. 3. Грис Д. Конструирование компиляторов для цифровых вычислительных машин /Пер.с англ. –М.: Мир, 1975. 4. Донован Дж. Системное программирование /Пер.с англ. –М.: Мир, 1975. –540с. 5. Ин Ц., Соломон Д. Использование Турбо-пролога. –М.: Мир, 1993. 6. Керниган Б.В., Пайк Р. UNIX – универсальная среда программирования /Пер.с англ. Березко, Иващенко. Под ред. М.И.Белякова –М.: Финансы и статистика, 1992. –304 с. 7. Марселлус Д. Программирование экспертных систем на Турбо-прологе. –М.: Финансы и статистика, 1994, –254с. 8. Хантер Р. Проектирование и конструирование компиляторов. –М.: Финансы и статистика, 1984.