О книге
Изложены сведения из математической логики и теории формальных языков, составляющие основу для построения лексических и синтаксических анализаторов. Приведены математические определения формального языка и формальной грамматики, описана классификация формальных грамматик Хомского. Рассмотрены способы построения распознающих конечных автоматов и автоматов с магазинной памятью, а также метод рекурсивного спуска и метод грамматического разбора, основанный на свойствах грамматик с операторным предшествованием.
Для студентов второго курса, проходящих обучение на кафедре «Компьютерные системы и сети» по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.03 «Прикладная информатика», изучающих модуль 3 дисциплины «Машинно-зависимые языки и основы компиляции».
Список литературы
- Ахо А., Сети Р., Ульман Д. Компиляторы: принципы, технологии, инструменты / пер. с англ. М.: Вильямс, 2001. 767 с.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975. 544 с.
- Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 1988. 127 с.
