Metodicheskie_ukazania

21

три подряд пришедших символа «с».

6) Произвольная цепочка из «0» и «1» между «/*» и «*/»; произвольная цепочка символов «0» и «1», заканчивающаяся тремя символа-

ми «0»; символ «*».

7)Произвольная цепочка из «0» и «1», после которой следует «.»; цепочка четной длины из «0» и «1» между двумя символами «.»; два символа «.».

8)Цепочка четной длины из «0» между двумя «1»;

цепочка нечетной длины из «1» между двумя «0»; две «1» подряд.

9) «1» между двумя цепочками из «0»,четной длины каждая; «0» между двумя цепочками из «1»,четной длины каждая.

10) Произвольная цепочка из «0» и «1», заканчивающаяся на «101»; цепочка чередующихся «0» и «1» нечетной длины, за которой следует «.».

2.2. Программирование алгоритмов разбора на основе LL(1)- грамматик

1.Проверить, обладает ли заданная грамматика свойством LL(1), и при необходимости, выполнить ее преобразование к этому виду.

2.Построить для полученной в п.1 грамматики LL(1)-таблицу разбора. 3.Разработать программную реализацию синтаксического анализатора на

основе полученной LL(1)-грамматики и соответствующей таблицы разбора. Результат анализа представить в виде последовательности номеров правил грамматики, примененных в процессе разбора.

21

22

2.3. Нейтрализация ошибок при синтаксическом разборе

Дополнить синтаксический анализатор для LL(1)-грамматики, разработанный в рамках предыдущей лабораторной работы, функцией нейтрализации синтаксических ошибок с использованием алгоритма решения этой задачи для нисходящего синтаксического разбора.

2.4. Схемы синтаксически-управляемого перевода

Разработать программную реализацию заданной схемы синтаксическиуправляемого перевода, воспользовавшись для анализа входного предложения одним из алгоритмов восходящего разбора в соответствии с вариантом задания.

Варианты задания

Код варианта задания состоит из двух цифр, первая из которых определяет номер схемы синтаксически-управляемого перевода, вторая - алгоритм восходящего разбора входного предложения (1 - алгоритм LR(1)-разбора, 2 - алгоритм разбора с использованием отношений простого предшествования).

Таблица вариантов задания

Схемы синтаксически-управляемого перевода

1.

S::=Sa,aSa

S::=Sb,bSb

S::=c,c

22

23

2.

E::=+Ea,Ea+

E::=*Ea,Ea*

E::=a,a

3.

E::=T&E,TE&

E::=T,T

T::=a,a

T::=-a,a-

T::=(E),E

T::=-(E),E-

Е = аксиома

4.

S::=aSbSc,1S2S3

S::=d,4

S::=e,5

5.

S::=S1,11S

S::=S0,00S

S::=+,*

2.5..Содержание отчета

1)Постановка задачи

2)Грамматика, по которой строится автоматная модель

3)Автоматная модель в виде графа переходов и выходов или управляющей таблицы

4)Текст программы

5)Описание тестовых примеров

Библиографический список

1.Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.1. Синтаксический анализ. М.: Мир, 1978. - 612c.

2.Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.2.Компиляция. М.: Мир, 1978. - 612c.

3.Ахо А., Сети Р., Ульман Дж. Компиляторы: принципы, технологии и инстру-

менты. - М.: «Вильямс», 2003. – 768с.

4.Гордеев А.В., Молчанов А.Ю.. Системное программное обеспечение. – СПб.: «Питер», 2001. – 736с.

5.Грис Д. Конструирование компиляторов для ЦВМ. - М.: Мир, 1975.- 544с. 7.Р.Миллер. Теория переключательных схем. Т.1. - М.: Наука. Главная редакция физико-математической литературы, 1970. -416c.

8.Хантер Р. Основные концепции компиляторов. – М.: «Вильямс», 2002. –256с.

23

24