240-1675 (Построение формального языка L)
Описание файла
Документ из архива "Построение формального языка L", который расположен в категории "". Всё это находится в предмете "информатика" из , которые можно найти в файловом архиве . Не смотря на прямую связь этого архива с , его также можно найти и в других разделах. Архив можно найти в разделе "рефераты, доклады и презентации", в предмете "информатика, программирование" в общих файлах.
Онлайн просмотр документа "240-1675"
Текст из документа "240-1675"
Построение формального языка L
WHILE(
WHILE - входной терминальный символ
- некоторая функция, которая может отсутствовать
- параметры функции, которые тоже могут отсутствовать
Пример правильного синтаксиса:
WHILE(A>44
A>44
clrscr() - функция, без параметров
Подбор грамматики G[Z] по языку L
Любая грамматика, к примеру G[Z], содержит следующие базисные элементы Vt, Vn, Z, P, где:
Vt - словарь терминальных символов
Vn - словарь нетерминальных символов
Z - начальный нетерминальный символ
P - множество правил вывода
G[<оператор>]:
-
<Оператор> à while(
) [<Функция>]; -
à T| < T| > T| <= T | >= T | != T
-
à O | T*O | T**O | T+O | T-O | T/O
-
à () | | <ЦБЗ>
-
à Б{Б|Ц}
-
<ЦБЗ> à Ц{Ц}
-
<Функция> à ([{,}])
-
à | <ЦБЗ> | ê
Классификация G[Z]
G[<оператор>]:
-
<Оператор> à while(
) [<Функция>]; -
à T| < T| > T| <= T | >= T | != T
-
à O | T*O | T**O | T+O | T-O | T/O
-
à () | | <ЦБЗ>
-
à Б{Б|Ц}
-
<ЦБЗ> à Ц{Ц}
-
<Функция> à ([{,}])
-
à | <ЦБЗ> | ê
Сделаем замену нетерминальных символов:
<Оператор> à Z
à A
à B
à C
<Функция > à D
à E
<ЦБЗ> à F
à G
Сделаем замену терминальных символов:
WHILE à a
( à b
) à c
; à d
Ц à f
Б à g
, à h
G[Z]:
-
Z à abAc[D]d
-
Aà B|A B|A = B |A != B
-
B à C | B*C | B**C | B+C | B-C | B/C
-
C à bAc | E | F
-
E à g{g|f}
-
F à f{f}
-
D à Eb[G{hG}]c
-
G à E | F | ê
Вывод : G[Z] - контекстно-свободная грамматика.
Выбор метода анализа
Хотя однозначность в общем случае для контекстно-зависимых грамматик не доказана, ее использование возможно для грамматик в которых однозначность очевидна. Наиболее хорошо разработанным методом анализа, для данного типа грамматик является, метод рекурсивного спуска.
Диагностика и нейтрализация ошибок
Разработанный алгоритм относится к общеизвестному методу синтаксического разбора, предложенный Айронсом.
Основная идея метода состоит в том, что по контексту без возврата отбрасываются те символы, которые привели в тупиковую ситуацию и разбор продолжается.
Приведем пример синтаксического разбора:
While (A > ) cls();
-
Z à abAc[D]d
-
Aà B|A B|A = B |A != B
-
B à C | B*C | B**C | B+C | B-C | B/C
-
C à bAc | E | F
-
E à g{g|f}
-
F à f{f}
-
D à Eb[G{hG}]c
-
G à E | F | ê
Z
a b A c D
B A E
C B g{g} b G c
E C ê
g E
g
W hile ( A > ) cls ( ) ;
тупиковая ситуация
Тестирование на цепочках
Протокол работы синтаксического распознавателя оператора цикла while языка С.
_____________________________________________________________________
Обрабатываем строчку - While(a>)cls();
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - a
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - )
Проверка на ЦБЗ, текущий символ - )
Проверка на FUNC, текущий символ - c
Проверка на IDENT, текущий символ - c
Найденные ошибки в строке While(a>)cls();
Предупреждение: Отсутствует условие ()
Не найден идентификатор или ЦБЗ
_____________________________________________________________________
Обрабатываем строчку - while(1<(3*(43+5*(3-4-(4<454)))) ;
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 1
Проверка на ЦБЗ, текущий символ - 1
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 5
Проверка на ЦБЗ, текущий символ - 5
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на FUNC, текущий символ - ;
Проверка на IDENT, текущий символ - ;
Найденные ошибки в строке while(1<(3*(43+5*(3-4-(4<454)))) ;
Отсутствует )
Предупреждение: отсутствует имя функции
_____________________________________________________________________
Обрабатываем строчку - 435 4 whilei>>3t*(ewqw++()*we) rscr(456,345,rtgrt,345444rtr,,,)
Найден While проверка началась с символа - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - e
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - +
Проверка на ЦБЗ, текущий символ - +
Проверка на TERM
Проверка на O
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - w
Проверка на FUNC, текущий символ - r
Проверка на IDENT, текущий символ - r
Проверка на PAR, текущий символ - 4
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на PAR, текущий символ - 3
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на PAR, текущий символ - r
Проверка на IDENT, текущий символ - r
Проверка на PAR, текущий символ - 3
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на PAR, текущий символ - ,
Проверка на IDENT, текущий символ - ,
Проверка на ЦБЗ, текущий символ - ,
Найденные ошибки в строке 435 4 whilei>>3t*(ewqw++()*we) rscr(456,345,rtgrt,345444rtr,,,)
Отсутствует (
Отсутствует )
Предупреждение: Отсутствует условие ()
Отсутствует ; после функции
Параметр функции не может начинатся с цифры
Неизвестный идентификатор(ы) -
435, 4,
Не найден идентификатор или ЦБЗ
Идентификатор не может начинаться с цифры
Не найден или не верный параметр
Неизвестная знаковая конструкция
_____________________________________________________________________
Обрабатываем строчку - whiLE(43-(sss<233)fewfew) sd(we)
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - s
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - f
Проверка на FUNC, текущий символ -
Проверка на IDENT, текущий символ - s
Проверка на PAR, текущий символ - w
Проверка на IDENT, текущий символ - w
Найденные ошибки в строке whiLE(43-(sss<233)fewfew) sd(we)
Отсутствует ; после функции
Пропущено / или * или ** или + или -
_____________________________________________________________________
Обрабатываем строчку - while(i>344>(5445<23*232) clrscr(,)
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 5
Проверка на ЦБЗ, текущий символ - 5
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - w
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на FUNC, текущий символ -
Проверка на IDENT, текущий символ - c
Проверка на PAR, текущий символ - ,
Проверка на IDENT, текущий символ - ,
Проверка на ЦБЗ, текущий символ - ,
Найденные ошибки в строке while(i>344>(5445<23*232) clrscr(,)
Отсутствует ; после функции
Не найден или не верный параметр
Неизвестная знаковая конструкция
_____________________________________________________________________
Обрабатываем строчку - while(u>r+erhgeerg(e>=rwe+++r+788erwe++)) scr(eee,qee<)
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - u
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - r
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - e
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - e
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - r
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - r
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 7
Проверка на ЦБЗ, текущий символ - 7
Проверка на FUNC, текущий символ -
Проверка на IDENT, текущий символ - s
Проверка на PAR, текущий символ - e
Проверка на IDENT, текущий символ - e
Проверка на PAR, текущий символ - q
Проверка на IDENT, текущий символ - q
Проверка на PAR, текущий символ - <
Проверка на IDENT, текущий символ - <
Проверка на ЦБЗ, текущий символ - <
Найденные ошибки в строке while(u>r+erhgeerg(e>=rwe+++r+788erwe++)) scr(eee,qee<)
Отсутствует ; после функции
Пропущено / или * или ** или + или -
Идентификатор не может начинаться с цифры
Не найден или не верный параметр
_____________________________________________________________________
Обрабатываем строчку - while(i>77777u777) clrscr(,...,)
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 7
Проверка на ЦБЗ, текущий символ - 7
Проверка на FUNC, текущий символ -
Проверка на IDENT, текущий символ - c
Проверка на PAR, текущий символ - ,
Проверка на IDENT, текущий символ - ,
Проверка на ЦБЗ, текущий символ - ,
Найденные ошибки в строке while(i>77777u777) clrscr(,...,)
Отсутствует ; после функции
Идентификатор не может начинаться с цифры
Не найден или не верный параметр
_____________________________________________________________________Обрабатываем строчку - while(4545>>445--- ;
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 4
Проверка на ЦБЗ, текущий символ - 4
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ -
Проверка на ЦБЗ, текущий символ -
Проверка на FUNC, текущий символ - ;
Проверка на IDENT, текущий символ - ;
Найденные ошибки в строке while(4545>>445--- ;
Отсутствует )
Предупреждение: отсутствует имя функции
Не найден идентификатор или ЦБЗ
Неизвестная знаковая конструкция
_____________________________________________________________________
Обрабатываем строчку - while(i>=0);
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 0
Проверка на ЦБЗ, текущий символ - 0
Проверка на FUNC, текущий символ - ;
Проверка на IDENT, текущий символ - ;
Найденные ошибки в строке while(i>=0);
Предупреждение: отсутствует имя функции
_____________________________________________________________________
Обрабатываем строчку - while(i>=0) 544();
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 0
Проверка на ЦБЗ, текущий символ - 0
Проверка на FUNC, текущий символ -
Проверка на IDENT, текущий символ - 5
Найденные ошибки в строке while(i>=0) 544();
Отсутствует ; после функции
Предупреждение: отсутствует имя функции
_____________________________________________________________________
Обрабатываем строчку - whilei>=0) clrscr();13
Найден While проверка началась с символа - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - i
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 0
Проверка на ЦБЗ, текущий символ - 0
Проверка на FUNC, текущий символ -
Проверка на IDENT, текущий символ - c
Найденные ошибки в строке whilei>=0) clrscr();13
Отсутствует (
Предупреждение: Отсутствует условие ()
_____________________________________________________________________
Обрабатываем строчку - whilertt<=243+++344-23!=345 wwqwq;
Найден While проверка началась с символа - r
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - r
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - =
Проверка на ЦБЗ, текущий символ - =
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на FUNC, текущий символ - w
Проверка на IDENT, текущий символ - w
Найденные ошибки в строке whilertt<=243+++344-23!=345 wwqwq;
Отсутствует (
Отсутствует )
Не найден идентификатор или ЦБЗ
Не найден или не верный параметр
_____________________________________________________________________
Обрабатываем строчку - while(dd>>3432*23432)
Найден While проверка началась с символа - (
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - d
Проверка на AB
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 3
Проверка на ЦБЗ, текущий символ - 3
Проверка на TERM
Проверка на O
Проверка на IDENT, текущий символ - 2
Проверка на ЦБЗ, текущий символ - 2
Проверка на FUNC, текущий символ -
Проверка на IDENT, текущий символ -
Найденные ошибки в строке while(dd>>3432*23432)
Отсутствует ; после функции
Предупреждение: отсутствует имя функции
Неизвестная знаковая конструкция
Листинг программы
ВАРИАHТ # 10
Синтаксический распознователь оператора цикла While
Файл программы - А513.cpp
с текстом для распознования - test.513
с протоколом работы - error.513
Кафедpа : АСУ
Гpуппа : А-513
Студент : Стариков Дмитрий Александрович
Пpеподаватели : кандидат технических наук, доцент
Шоpников Юpий Владимиpович,
ассистент Панова Веpа Боpисовна
Дата : 30 мая 1997г.
//----------------------------------------------------------------------------
// Заголовочные файлы.
//----------------------------------------------------------------------------
#include
#include
#include
#include
#include
#include
#define UP 72 // стрелка вверх
#define DOWN 80 // стрелка вниз
#define ALTX 45 // выход
#define F1 59
#define F2 60
#define F3 61
#define ESC 27
#define FL_NAME "test.513"
#define FL_TEST "error.513"
void open_fl(void); // откpыть файл
void work_space(void); // упpавляет pабочей областью
void print_page(void); // печатает текст на экpан
void help_line(void); // текст с помощью нижняя стpочка
void help(int);
int scan(); // Делает разбор строки
int my_while(); // опеpатоp
int AB(); // арифметическое выражение
int TERM(); // Терм
int O(); // Операнд
int IDENT(); // Идентификатор
int ZBZ(); // Целое без знака
int FUNC(); // Функция
int PAR(); // Параметр
char TEXT[22][80];
int position; // Номер текущей страницы
int cur_y=3; // положение куpсоpа на экpане
int x,y; // Текущая позиция при компиляции в строчке
int f=0; // При f=1 ошибки для функции
char screen[4096]; // Сохpаняет полную копию экpана
char screen1[4096]; // Сохpаняет часть экpана
char *mistake[]={"Ошибок нет!!!", //0
"Опеpатоp while не найден", //1
"Отсутствует (", //2
"Отсутствует )", //3
"Предупреждение: Отсутствует условие ()", //4
"Отсутствует ; после функции", //5
"Предупреждение: отсутствует имя функции", //6
"Пропущено / или * или ** или + или - ", //7
"", //8
"Параметр функции не может начинатся с цифры", //9
"Неизвестный идентификатор(ы) - ", //10
"Не найден идентификатор или ЦБЗ", //11
"Идентификатор не может начинаться с цифры", //12
"Не найден или не верный параметр", //13
454>454>233>233>23>23>