Министерство науки, высшей школы и технической политики Российской
Федерации.
Новосибирский Государственный Технический Университет.
[pic]
Курсовая работа по системному программированию.
Синтаксический распознаватель арифметического оператора условного перехода языка FORTRAN.
Факультет: АВТ.
Кафедра: АСУ.
Группа: А–513.
Студент: Бойко Константин Анатольевич.
Преподаватель: Шорников Юрий Владимирович.
Ассистент: Панова Вера Борисовна.
Дата: 30 апреля 1997 г.
Отметка о защите:
Новосибирск.
Язык оператора.
Язык арифметического оператора условного перехода языка FORTRAN.
IF() LABEL1,LABEL2,LABEL3
АВ - Арифметическое Выражение.
LABEL1,LABEL2,LABEL3 - первая, вторая и третья метки соответственно.
Грамматика языка.
G[]:
1. ( IF(),,
2. (
3. ( T | (T | -T
4. T ( O | T*O | T/O | T((O
5. O ( () | |
6. ( Б{Б|Ц}
7. ( Ц{Ц}[(]
8. ( Ц{Ц}[.Ц{Ц}]
Условные обозначения:
|Т |– |ТЕРМ. |
|О |– |ОПЕРАНД. |
|Б |– |БУКВА. |
|Ц |– |ЦИФРА. |
|ЦБЗ |– |ЦЕЛОЕ БЕЗ ЗНАКА. |
|(( |– |ВОЗВЕДЕНИЕ В СТЕПЕНЬ. |
|LABEL |– |МЕТКА. |
|ЧПЗ |– |ЧИСЛО С ПЛАВАЮЩЕЙ ЗАПЯТОЙ. |
|( |– |КОНЕЦ СТРОКИ (пусто). |
|АВ |– |АРИФМЕТИЧЕСКОЕ ВЫРАЖЕНИЕ. |
Классификация грамматики.
Данная грамматика G[], согласно классификации Хомского, является контекстно-свободной, так как правая часть каждой редукции начинается либо с терминального символа, либо с нетерминального, принадлежащего объединённому словарю.
A ( a, A(Vn, a(V(.
Грамматика G[] не является автоматной, так как не все её редукции начинаются с терминального символа. По этой же причине данная грамматика не является S - грамматикой.
Метод анализа.
Для данной грамматики реализован разбор методом рекурсивного спуска, поскольку она относится к классу контекстно-свободных.
Идея метода состоит в том, что каждому нетерминальному символу ставится в соответствие определённая программная единица (функция), которая распознаёт цепочку, порождаемую этим нетерминалом.
Эти процедуры и функции вызываются в соответствии с правилами грамматики и иногда вызывают сами себя.
Данный метод реализован на языке C++, поскольку он обладает рекурсивными возможностями.
Диагностика и нейтрализация ошибок.
Для данной грамматики производится только диагностика и нейтрализация ошибок. Исправление ошибок не производится.
Нейтрализация ошибок осуществляется по методу Айронса, то есть, спускаясь по синтаксическому дереву без возврата по контексту, при обнаружении тупиковой ситуации отбрасываются те литеры (символы), которые привели в тупиковую ситуацию и разбор продолжается.
Тестирование.
((((((((((((((((((((((((((((((((((((((((
IF(((6/t+g*456)/(9.347*y-555))**6) 64,44,548
((((((((((((((((((((((((((((((((((((((((
Текущий символ ( - 40.
AB - Проверка на Арифметическое Выражение.
Текущий символ ( - 40.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
AB - Проверка на Арифметическое Выражение.
Текущий символ ( - 40.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
AB - Проверка на Арифметическое Выражение.
Текущий символ 6 - 54.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа 6.
FLOAT - проверка на число с плавающей запятой с цифры 6.
Текущий символ / - 47.
Текущий символ t - 116.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа t.
Текущий символ + - 43.
AB - Проверка на Арифметическое Выражение.
Текущий символ g - 103.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа g.
Текущий символ * - 42.
Текущий символ 4 - 52.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа 4.
FLOAT - проверка на число с плавающей запятой с цифры 4.
Текущий символ 5 - 53.
Текущий символ 6 - 54.
Текущий символ ) - 41.
Текущий символ / - 47.
Текущий символ ( - 40.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
AB - Проверка на Арифметическое Выражение.
Текущий символ 9 - 57.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа 9.
FLOAT - проверка на число с плавающей запятой с цифры 9.
Текущий символ . - 46.
Текущий символ 3 - 51.
Текущий символ 4 - 52.
Текущий символ 7 - 55.
Текущий символ * - 42.
Текущий символ y - 121.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа y.
Текущий символ - - 45.
AB - Проверка на Арифметическое Выражение.
Текущий символ 5 - 53.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа 5.
FLOAT - проверка на число с плавающей запятой с цифры 5.
Текущий символ 5 - 53.
Текущий символ 5 - 53.
Текущий символ ) - 41.
Текущий символ ) - 41.
Текущий символ * - 42.
Текущий символ * - 42.
Текущий символ 6 - 54.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа 6.
FLOAT - проверка на число с плавающей запятой с цифры 6.
Текущий символ ) - 41.
Текущий символ - 32.
Текущий символ 6 - 54.
ABS - проверка на Целое Без Знака с цифры 6.
Текущий символ 4 - 52.
Текущий символ , - 44.
Текущий символ 4 - 52.
ABS - проверка на Целое Без Знака с цифры 4.
Текущий символ 4 - 52.
Текущий символ , - 44.
Текущий символ 5 - 53.
ABS - проверка на Целое Без Знака с цифры 5.
Текущий символ 4 - 52.
Текущий символ 8 - 56.
Текущий символ NULL - 0.
((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((((((((((((((((((((((((
IF(r**34/50.22) 3,56,1
((((((((((((((((((((((((((((((((((((((((
Текущий символ ( - 40.
AB - Проверка на Арифметическое Выражение.
Текущий символ r - 114.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа r.
Текущий символ * - 42.
Текущий символ * - 42.
Текущий символ 3 - 51.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа 3.
FLOAT - проверка на число с плавающей запятой с цифры 3.
Текущий символ 4 - 52.
Текущий символ / - 47.
Текущий символ 5 - 53.
Term - Проверка на Терм.
Operand - Проверка на Операнд.
IDENT - Проверка на Идентификатор с символа 5.
FLOAT - проверка на число с плавающей запятой с цифры 5.
Текущий символ 0 - 48.
Текущий символ . - 46.
Текущий символ 2 - 50.
Текущий символ 2 - 50.
Текущий символ ) - 41.
Текущий символ - 32.
Текущий символ 3 - 51.
ABS - проверка на Целое Без Знака с цифры 3.
Текущий символ , - 44.
Текущий символ 5 - 53.
ABS - проверка на Целое Без Знака с цифры 5.
Текущий символ 6 - 54.
Текущий символ , - 44.
Текущий символ 1 - 49.
ABS - проверка на Целое Без Знака с цифры 1.
Текущий символ NULL - 0.
((((((((((((((((((((((((((((((((((((((((
Листинг программы.
//(((((((((((((((((((((((((((((((((((((((
// FILE "KURSOVIC.CPP".
//(((((((((((((((((((((((((((((((((((((((
// ВАРИАHТ # 2.
//(((((((((((((((((((((((((((((((((((((((
// Арифметический оператор условного перехода языка FORTRAN.
//(((((((((((((((((((((((((((((((((((((((
// Кафедpа : АСУ.
// Гpуппа : А-513.
// Студент : Бойко Константин Анатольевич.
// Пpеподаватели : кандидат технических наук, доцент Шоpников Юpий
Владимиpович,
// ассистент Панова Веpа Боpисовна.
// Дата : 30 апреля 1997г.
//(((((((((((((((((((((((((((((((((((((((
// Заголовочные файлы.
//(((((((((((((((((((((((((((((((((((((((
# include
# include
# include
# include
# include "keyboard.h"
# include
# include
//(((((((((((((((((((((((((((((((((((((((
// Константы.
//(((((((((((((((((((((((((((((((((((((((
# define FILE_NAME "TEXT.TXT"
# define YES 1
# define NO 2
# define OK 3
//# define TEST
//(((((((((((((((((((((((((((((((((((((((
// Глобальные переменные.
//(((((((((((((((((((((((((((((((((((((((
char file1[22][60]; // Массив строк.
char mes[22][30][50]; // Массив сообщений об ошибках.
char bufer[4096]; // Снимок с экрана.
int com=0; // Показатель : откомпилирован файл или нет.
int pos=2; // Текущая позиция в строке.
char string[80]; // Текущая строка файла.
char nx; // Текущий символ в строке.
int e1=0; // Счетчик страниц массива собщений об ошибках.
int e2=0; // Счетчик строк в странице.
int l=0; // Счетчик меток.
FILE* fl=fopen("MESSAGE.TXT","wt"); // Файл с сообщениями об ошибках.
//(((((((((((((((((((((((((((((((((((((((
// Прототипы функций.
//(((((((((((((((((((((((((((((((((((((((
void Windows(int,int,int,int,char*); // Построение окон.
void Beep(int,int); // Звуковой сигнал.
void Open_File(void); // Открытие файла.
void Second_Window(void); // Построение нижней панели.
void MyPuts(char*,int); // Аналог puts(char*).
void Print_File(void); // Печать файла.
void Menu(void); // Меню.
int i_readkey(void); // Опрос клавиатуры.
void Help(void); // Помощь.
void Grammar(void); // Грамматика языка.
void Language(void); // Язык оператора.
void Compile(void); // Компиляция.
void Operator(char*); // Сканирование оператора.
void Scan(void); // Сканирование следующего символа.
void Label(void); // Реализация Label.
int ABS(void); // Реализация ABS.
int IDENT(void); // Реализация IDENT.
int AB(void); // Реализация AB.
void Error(int); // Обработка ошибки.
int Term(void); // Реализация Term.
int Operand(void); // Реализация Operand.
int Float(void); // Реализация Float.
void Message(int); // Вывод сообщений об ошибках.
//(((((((((((((((((((((((((((((((((((((((
// Функция MAIN.
//(((((((((((((((((((((((((((((((((((((((
void main()
{
_setcursortype(_SOLIDCURSOR); window(1,1,80,25); textattr(113); clrscr(); for(int i=0;i IF(),,nr"); cprintf(" 2. -> nr"); cprintf(" 3. -> T | +T | -Tnr"); cprintf(" 4. T -> O | T*O | T/O | T**Onr"); cprintf(" 5. O -> () | | nr"); cprintf(" 6. -> Б{Б|Ц}nr"); cprintf(" 7. -> Ц{Ц}nr"); cprintf(" 8. -> Ц{Ц}[.Ц{Ц}]nnr"); cprintf(" Условные обозначения:nr"); cprintf(" T - терм.nr"); cprintf(" O - операнд.nr"); cprintf(" Б - буква.nr"); cprintf(" Ц - цифра.nr"); cprintf(" ЦБЗ - целое без знака.nr"); cprintf(" ЧПЗ - число с плавающей запятой.nr"); cprintf(" ** - возведение в степень.nr"); cprintf(" - метка.nr"); cprintf(" - арифметическое выражение."); getch();
}
//(((((((((((((((((((((((((((((((((((((((
// Язык.
//(((((((((((((((((((((((((((((((((((((((
void Language(void)
{ window(20,7,60,17); textattr(62); clrscr();
Windows(20,7,60,17,"Language"); window(22,9,58,16); cprintf(" IF() LABEL1,LABEL2,LABEL3nnr"); cprintf(" АВ - Арифметическое Выражение.nr"); cprintf(" LABEL1,LABEL2,LABEL3 - первая,вторая и третья метки соответственно.nr"); getch();
}
//(((((((((((((((((((((((((((((((((((((((
// Компиляция программы.
//(((((((((((((((((((((((((((((((((((((((
void Compile(void)
{ window(20,7,55,13); textattr(94); clrscr();
Windows(20,7,55,13,"Compile"); window(22,8,58,16); gotoxy(1,1); if(com!=0)
{ cprintf("nn Файл откомпилирован!");
Beep(900,1000); return;
} cputs("n Идет компиляция файла.rnn Пожалуйста,
подождите...");
#ifdef TEST
window(1,1,80,25);
clrscr();
#endif for(int i=0;file1[i][0]!=NULL;i++)
{
Operator(file1[i]); if(l!=3 && l!=0)
Error(11); e1++; e2=0;
} com++; delay(300);
Beep(1000,200);
}
//(((((((((((((((((((((((((((((((((((((((
// Оператор.
//(((((((((((((((((((((((((((((((((((((((
void Operator(char* str)
{ pos=2; l=0; string[0]=NULL; strcpy(string,str); string[strlen(string)-1]=NULL; char temp[3]; temp[0]=str[0]; temp[1]=str[1]; temp[2]=NULL;
#ifdef TEST
puts(string);
puts(temp);
getch();
#endif fprintf(fl," ((((((((((((((((((((((((((((((n"); fprintf(fl,"%sn",string); if(strcmp(temp,"IF")!=0)
{
#ifdef TEST
printf("Не найден оператор IF.n");
#endif
Error(10); return;
}
Scan(); if(nx==' ')
Scan(); if(nx!='(')
Error(7); if(nx==NULL)
{
Error(12);
Error(9); return;
}
AB(); while(nx!=')' && nx!=NULL && nx!=' ')
Scan(); if(nx!=')')
Error(3); if(nx==NULL)
{
Error(9); return;
}
Scan(); if(nx==NULL)
{
Error(9); return;
} if(nx==' ')
Scan();
Label(); if(nx!=',')
{
Error(5);
Scan();
} else
Scan(); if(nx==NULL) return;
Label(); if(nx!=',')
{
Error(5);
Scan();
} else
Scan(); if(nx==NULL) return;
Label(); if(nx!=NULL)
{
Error(6);
Scan();
} return;
}
//(((((((((((((((((((((((((((((((((((((((
// Scan.
//(((((((((((((((((((((((((((((((((((((((
void Scan(void)
{ nx=string[pos++];
#ifdef TEST
printf("Текущий символ %c - %d.n",nx,nx);
#endif fprintf(fl,"Текущий символ %c - %d.n",nx,nx);
}
//(((((((((((((((((((((((((((((((((((((((
// Метка.
//(((((((((((((((((((((((((((((((((((((((
void Label(void)
{ if(ABS() == NO)
{
Error(8);
Scan();
} else l++;
}
//(((((((((((((((((((((((((((((((((((((((
// Целое Без Знака.
//(((((((((((((((((((((((((((((((((((((((
int ABS(void)
{
#ifdef TEST
cprintf("ABS - проверка на Целое Без Знака с цифры %c.rn",nx);
#endif fprintf(fl,"ABS - проверка на Целое Без Знака с цифры %c.n",nx); if(isdigit(nx))
{ while(isdigit(nx))
Scan(); return(YES);
} return(NO);
}
//(((((((((((((((((((((((((((((((((((((((
// Арифметическое Выражение.
//(((((((((((((((((((((((((((((((((((((((
int AB(void)
{
#ifdef TEST
cprintf("AB - Проверка на Арифметическое Выражение.rn");
#endif fprintf(fl,"AB - Проверка на Арифметическое Выражение.n");
Scan(); if(nx==')')
{
Error(12); return(NO);
}
Term(); if(nx=='+')
{
AB();
} else if(nx=='-')
{
AB();
} if(nx==NULL) return(OK); else if(nx!='*' && nx!='/' && nx!=')')
Error(1); return(YES);
}
//(((((((((((((((((((((((((((((((((((((((
// Терм.
//(((((((((((((((((((((((((((((((((((((((
int Term(void)
{
#ifdef TEST
cprintf("Term - Проверка на Терм.rn");
#endif fprintf(fl,"Term - Проверка на Терм.n");
Operand(); if(nx=='/')
{
Scan();
Term();
} else if(nx=='*')
{
Scan(); if(nx=='*')
{
Scan();
Term();
} else Term();
} if(nx==NULL) return(OK); else if(nx!='+' && nx!='-' && nx!=')')
Error(2); return(OK);
}
//(((((((((((((((((((((((((((((((((((((((
// Операнд.
//(((((((((((((((((((((((((((((((((((((((
int Operand(void)
{
#ifdef TEST
cprintf("Operand - Проверка на Операнд.rn");
#endif fprintf(fl,"Operand - Проверка на Операнд.n"); if(nx=='(')
{
AB(); if(nx!=')')
Error(3); else
{
Scan(); return(OK);
}
} else if(IDENT() == NO)
{ if(Float() == NO)
Error(4);
} return(OK);
}
//(((((((((((((((((((((((((((((((((((((((
// Идентификатор.
//(((((((((((((((((((((((((((((((((((((((
int IDENT(void)
{
#ifdef TEST
cprintf("IDENT - Проверка на Идентификатор с символа %c.rn",nx);
#endif fprintf(fl,"IDENT - Проверка на Идентификатор с символа %c.n",nx); if(isalpha(nx))
{ while(isalpha(nx) || isdigit(nx))
Scan(); return(YES);
} return(NO);
}
//(((((((((((((((((((((((((((((((((((((((
// Ошибки.
//(((((((((((((((((((((((((((((((((((((((
void Error(int num)
{ char *E[]={
"Ожидается '+' или '-'.",
"Ожидается '*','/' или '**'.",
"Ожидается ).",
"Ожидается идентификатор или целое без знака.",
"Отсутствует ','.",
"Не конец строки.",
"Ожидается (.",
"Метка - не целое без знака.",
"Отсутствуют метки.",
"Не найден оператор IF.",
"Отсутствует метка.",
"Отсутствует AB.",
NULL
}; sprintf(mes[e1][e2],"%s",E[num-1]); e2++;
#ifdef TEST
Beep(1000,100);
cprintf("Ошибка: %srn",E[num-1]);
getch();
#endif fprintf(fl," ((((((((((((((((((((((((((((n"); fprintf(fl,"Ошибка: %srn",E[num-1]);
}
//(((((((((((((((((((((((((((((((((((((((
// Float.
//(((((((((((((((((((((((((((((((((((((((
int Float(void)
{
#ifdef TEST
cprintf("FLOAT - проверка на число с плавающей запятой с цифры
%c.rn",nx);
#endif fprintf(fl,"FLOAT - проверка на число с плавающей запятой с цифры
%c.n",nx); if(isdigit(nx))
{ while(isdigit(nx))
Scan(); if(nx=='.')
{
Scan(); while(isdigit(nx))
Scan();
} return(YES);
} return(NO);
}
//(((((((((((((((((((((((((((((((((((((((
// Message.
//(((((((((((((((((((((((((((((((((((((((
void Message(int x)
{ window(50,3,76,22); textattr(95); clrscr(); gotoxy(1,1); for(int i=0;mes[x][i][0]!=NULL;i++) cprintf("%srn",mes[x][i]);
}
//(((((((((((((((((((((((((((((((((((((((
Литература.
1. Курс лекций по системному программированию.
2. Герберт Шилдт «C для профессиональных программистов».