- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Польская запись как важный пример перевода арифметических выражений.
- •Lr(0) – грамматики. Построение детерминированного правого анализатора для lr(k) – грамматик.
- •Задача.
- •Проблема описания бесконечного перевода конечными средствами. Транслятор как устройство, реализующее заданный перевод. Желательные качества транслятора.
- •Разбор с помощью детерминированного алгоритма перенос-свертка. Правоанализирующие lr(k) – грамматики, их свойства. Lr(k) алгоритм разбора.
- •Задача.
- •Обработка ошибок при восходящем разборе. Замечания о реализации левых и правых анализаторов. Их временная и емкостная сложность.
- •Задача.
- •Два основных формализма, применяемые для определения перевода: схемы синтаксически управляемой трансляции и преобразователи.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
- •Задача.
Различимые и неразличимые состояния. Различающая цепочка. Теорема об эквивалентности двух состояний (критерии эквивалентности). Метод поиска различающей цепочки как метод определения неэквивалентности двух состояний. Недостатки метода.
Алгоритм построения конечного автомата по расширенному регулярному выражению. Прямой лексический анализ.
Задача.
-
Экзаменатор, проф.
Д.А. Ковригин
Зав. кафедрой,
проф. С.Н. Митяков
________________________________________________________________________
Нижегородский государственный Технический университет Факультет информационных систем и технологий Кафедра «Прикладная математика» |
(Экзамен по курсу «Формальные языки и алгоритмы») БИЛЕТ № 16 |
Определение праволинейной грамматики. Языки, генерируемые праволинейными грамматиками.
Прямой лексический анализ. Построение прямого лексического анализатора. Замечания о программном моделировании конечных преобразователей.
Задача.
-
Экзаменатор,
проф. Д.А. Ковригин
Зав. кафедрой,
проф. С.Н. Митяков
________________________________________________________________________
Нижегородский государственный Технический университет Факультет информационных систем и технологий Кафедра «Прикладная математика» |
(Экзамен по курсу «Формальные языки и алгоритмы») БИЛЕТ № 17 |
Определение левого и правого разбора. Нисходящий (левый) разбор. Определение простой СУ-схема, отображающей цепочки в их левые разборы.
Построение нисходящего анализатора на базе недетерминированного стекового преобразователя. Восходящий разбор. Построение СУ-схемы, отображающей цепочки в их правые разборы.
Задача.
-
Экзаменатор,
проф. Д.А. Ковригин
Зав. кафедрой,
проф. С.Н. Митяков
________________________________________________________________________
Нижегородский государственный Технический университет Факультет информационных систем и технологий Кафедра «Прикладная математика» |
(Экзамен по курсу «Формальные языки и алгоритмы») БИЛЕТ № 18 |
Определение простой СУ-схема, отображающей цепочки в их левые разборы. Представление деревьями. Построение нисходящего анализатора на базе недетерминированного стекового преобразователя.
Синтаксический анализ с возвратами. Общий подход к проблеме. Моделирование стекового анализатора. Понятие незацикливающегося анализатора.
Задача.
________________________________________________________________________
-
Экзаменатор,
проф. Д.А. Ковригин
Зав. кафедрой,
проф. С.Н. Митяков
Нижегородский государственный Технический университет Факультет информационных систем и технологий Кафедра «Прикладная математика» |
(Экзамен по курсу «Формальные языки и алгоритмы») БИЛЕТ № 19 |
.