Разработка синтаксического распознавателя вычисляемого оператора перехода языка FORTRAN

Разработка синтаксического распознавателя вычисляемого оператора перехода языка FORTRAN

Разработка синтаксического распознавателя вычисляемого оператора перехода языка FORTRAN . Факультет: АВТ. Кафедра: АСУ. Группа: А-513. Студент: Борзов Андрей Николаевич.

Преподаватель: Шорников Юрий Владимирович.

Ассистент: Панова Вера Борисовна. Дата: 19 мая 1997 года.

Отметка о защите: _______________________________ Новосибирск – 1997. Язык оператора. Язык вычисляемого оператора перехода языка FORTRAN. GOTO МЕТКА ½ КОНСТАНТА ½ АРИФМЕТИЧЕСКОЕ ВЫРАЖЕНИЕ МЕТКА – Идентификатор КОНСТАНТА – ЦЕЛОЕ БЕЗ ЗНАКА АРИФМЕТИЧЕСКОЕ ВЫРАЖЕНИЕ – ВЫРАЖЕНИЕ, СОДЕРЖАЩЕЕ В СЕБЕ ОПЕРАЦИИ *, /, -, +, **, А ТАКЖЕ ( ). ** – ВОЗВЕДЕНИЕ В СТЕПЕНЬ. Грамматика языка. G[ ОПЕРАТОР >] : 1. ОПЕРАТОР > ® GOTO ВЫРАЖЕНИЕ > 2. ВЫРАЖЕНИЕ > ® Т ВЫРАЖЕНИЕ > +Т ВЫРАЖЕНИЕ > - Т 3. Т ® О Т * О Т / О Т * * О 4. О ® ( ВЫРАЖЕНИЕ > ) ИДЕНТИФИКАТОР > ДБЗ > 5. ИДЕНТИФИКАТОР > ® Б { Б Ц }[ L ] 6. ДБЗ > ® Ц { Ц }[ .Ц { Ц }][ L ]

Т ТЕРМ
О ОПЕРАНД
Б БУКВА
Ц ЦИФРА
ДБЗ ДРОБНОЕ БЕЗ ЗНАКА
L КОНЕЦ СТРОКИ (пусто)
** ВОЗВЕДЕНИЕ В СТЕПЕНЬ
Классификация грамматики.

Данная грамматика G[ ОПЕРАТОР >] , согласно классификации Хомского, является контекстно-свободной, так как правая часть каждой редукции начинается либо с терминального символа, либо с нетерминального, принадлежащего объединённому словарю. A ® a, A V n , a V * . Грамматика G[ ОПЕРАТОР >] не является автоматной, так как не все её редукции начинаются с терминального символа. По этой же причине данная грамматика не является S - грамматикой. Метод анализа. Для данной грамматики реализован разбор методом рекурсивного спуска, поскольку она относится к классу контекстно-свободных. Идея метода состоит в том, что каждому нетерминальному символу ставится в соответствие определённая программная единица (функция), которая распознаёт цепочку, порождаемую этим нетерминалом. Эти процедуры и функции вызываются в соответствии с правилами грамматики и иногда вызывают сами себя.

Данный метод реализован на языке C++ , поскольку он обладает рекурсивными возможностями.

Диагностика и нейтрализация ошибок. Для данной грамматики производится только диагностика и нейтрализация ошибок.

Исправление ошибок не производится.

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

Тестирование. ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ Протокол работы синтаксического распознавателя вычисляемого оператора перехода языка FORTRAN. ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ GOTO A+B-DD**(CC/(23+34**R))+Y*((C)) ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ 'A' с кодом 65. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа A. SCAN - Сканирование.

Текущий символ '+' с кодом 43. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ 'B' с кодом 66. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа B. SCAN - Сканирование.

Текущий символ '-' с кодом 45. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ 'D' с кодом 68. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа D. SCAN - Сканирование.

Текущий символ 'D' с кодом 68. SCAN - Сканирование.

Текущий символ '*' с кодом 42. SCAN - Сканирование.

Текущий символ '*' с кодом 42. SCAN - Сканирование.

Текущий символ '(' с кодом 40. T - Проверка на Терм. O - Проверка на Операнд. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ 'C' с кодом 67. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа C. SCAN - Сканирование.

Текущий символ 'C' с кодом 67. SCAN - Сканирование.

Текущий символ '/' с кодом 47. SCAN - Сканирование.

Текущий символ '(' с кодом 40. T - Проверка на Терм. O - Проверка на Операнд. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ '2' с кодом 50. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа 2. FLOAT - Проверка на Дробное Без Знака с цифры 2. SCAN - Сканирование.

Текущий символ '3' с кодом 51. SCAN - Сканирование.

Текущий символ '+' с кодом 43. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ '3' с кодом 51. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа 3. FLOAT - Проверка на Дробное Без Знака с цифры 3. SCAN - Сканирование.

Текущий символ '4' с кодом 52. SCAN - Сканирование.

Текущий символ '*' с кодом 42. SCAN - Сканирование.

Текущий символ '*' с кодом 42. SCAN - Сканирование.

Текущий символ 'R' с кодом 82. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа R. SCAN - Сканирование.

Текущий символ ')' с кодом 41. SCAN - Сканирование.

Текущий символ ')' с кодом 41. SCAN - Сканирование.

Текущий символ '+' с кодом 43. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ 'Y' с кодом 89. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа Y. SCAN - Сканирование.

Текущий символ '*' с кодом 42. SCAN - Сканирование.

Текущий символ '(' с кодом 40. T - Проверка на Терм. O - Проверка на Операнд. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ '(' с кодом 40. T - Проверка на Терм. O - Проверка на Операнд. AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ 'C' с кодом 67. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа C. SCAN - Сканирование.

Текущий символ ')' с кодом 41. SCAN - Сканирование.

Текущий символ ')' с кодом 41. SCAN - Сканирование.

Текущий символ NULL с кодом 0. ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ GOTO A ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ AB - Проверка на Арифметическое Выражение. SCAN - Сканирование.

Текущий символ 'A' с кодом 65. T - Проверка на Терм. O - Проверка на Операнд. IDENT - Проверка на Идентификатор с символа A. SCAN - Сканирование.

Текущий символ NULL с кодом 0. ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ Листинг программы. // ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ // FILE 'KURSOVIK.CPP'. // ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ // ВАРИАHТ № 3. // ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ // Оператор перехода вычисляемый языка FORTRAN. // ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ // Кафедра: АСУ. // Группа: А-513. // Студент: Борзов Андрей Hиколаевич. // Преподаватели: кандидат технических наук, доцент Шорников Юрий Владимирович, // ассистент Панова Вера Борисовна. // Дата: 29 апреля 1997г. // ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ // Подключаемые файлы. // ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ ¾ #include #include #include #include #include #include #include