Подякувати Студентському архіву довільною сумою
Admin
26.02.2023 12:38
Дякуємо, що користуєтесь нашим архівом!
Інформація про навчальний заклад
ВУЗ:
Національний університет Львівська політехніка
Інститут:
Не вказано
Факультет:
Не вказано
Кафедра:
Кафедра прикладної математики
Інформація про роботу
Рік:
2010
Тип роботи:
Лабораторна робота
Предмет:
Системне програмування
Група:
ПМ-31
Частина тексту файла (без зображень, графіків і формул):
Міністерство освіти та науки України
Національний університет «Львівська політехніка»
кафедра прикладної математики
ЛАБОРАТОРНА РОБОТА №4
з системного програмування на тему:
«Семантичний аналіз»
Мета: побудувати правила семантичного контролю в програмі, визначити типи можливих помилок та форму відповідного повідомлення . Створити семантичний контроль, попередньо використавши результати лабораторної №3. Написати програму – семантичний аналізатор, що отримує на вході – текст вхідної програми на запропонованій підмножині мови програмування (у вхідному файлі), а на виході – повідомлення про наявність синтаксичних та семантичних помилок у вхідній програмі (можна вести контроль до першої помилки) з інформацією про тип помилки та місце її знаходження. Для виділення чергової лексеми використати підпрограму, розроблену у Лаб. Роботі №2.
Варіант №9.
Завдання:
Розглянути підмножину мови Pascal, у якій є ідентифікатори (довжина – не більше 10 символів), цілі константи (довжина – не більше 6 символів), які використовуються у операторах опису (типи змінних – real , integer,boolean), оператори присвоєння, оператори циклу типу while (умова – логічний вираз, утворений з логічних змінних і відповідних логічних операцій).
Граматика:
S → Program I; [R] T
R → var P
P → Z: Y;{Z: Y;}
Z → I {, I}
Y → Real | Integer | Boolean
T → begin A end.
A → B {;B}
B → V | W | L
V → I := U
W → while G do B
L → begin A end
U → M | M + U | M – U | M or U
M → N | N * M | N / M | N and M
N → I | C | (G) | not N
D → = | < | > | <> | <= | >=
G → U D U | (G)
Де:
S = <Програма>
R = <Розділ описів>
P = <Опис>
Z = <Змінні>
Y = <Тип>
T = <Тіло програми>
A = <Оператори>
B = <Оператор>
V=<Присвоєння>
W = <While>
L = <Блок>
U = <Вираз>
M = <Терм>
N = <Множ>
D = <Відношення>
G = <Логічний вираз>
Здійснення семантичного контролю:
Умова єдиності опису ідентифікаторів, що іменують прості змінні. Здійснюється за допомогою масиву назв ідентифікаторів та їх типів, при описі нової змінної перевіряється чи ця змінна не була описана раніше(чи є в вже в масиві) – якщо так – тоді повідомлення про помилку.
Умови відповідності між входженнями ідентифікаторів при їх означенні та використанні. Перевірка чи всі ідентифікатори які використовуються є описані.
Умова відповідності типів значень. Перевірка коректності використання певних операції над ідентифікаторами, перевірка чи співпадає тип змінної з присвоюваним їй результатом операції, перевірка чи в умова в операторі While – логічного типу.
Код програми:
#include <fstream.h>
#include <string.h>
#include <stdio.h>
#include <iostream.h>
#include <ctype.h>
#include <windows.h>
//*********************Opus Global'nuh zminnuh***********************//
FILE *in;
char *f1 = "input.txt";
char *lex, syn, lit = ' ', ch = 0;
int cl = 9, f = 0, num = 1, id_num = 0, t = 0, k = 0;
struct st
{
char *id;
int type;
};
st M_id[100];
//************************Prototupu fynkcij**************************//
int getlit();
int zarezerv(char*);
void scan();
void S();
void R();
void P();
void Z();
void Y();
void T();
void A();
void B();
void V();
void W();
void L();
void U();
void M();
void N();
void G();
void D();
void Vudilutu_Lexemy();
void New_Id();
int Check_Id();
void SetWindowRect();
void Check_Type();
//****************************MAIN***********************************//
void main(void)
{
SetWindowRect();
in=fopen(f1, "r");
S();
if(f) Vudilutu_Lexemy();
else cout<<"\n\nV programi nemae pomulok...\n";
}
//*************************Opus fynkcij******************************//
int getlit()
{
lit = fgetc(in);
if(ch != 0) putchar(ch);
ch = lit;
if(lit >= 'A' && lit <= 'Z') lit -= 'A' - 'a';
switch (lit)
{
case '+': return 3; break;
case '-': return 3; break;
case '*': return 3; break;
case '/': return 3; break;
case ';': return 3; break;
case '(': return 3; break;
case ')': return 3; break;
case ',': return 3; break;
case '.': return 3; break;
case '<': return 4; break;
case ':': return 5; break;
case '=': return 6; break;
case '>': return 7; break;
}
if(isalpha(lit)) return 1;
else if(isdigit(lit))return 2;
else return 9;
}
int zarezerv(char* lex)
{
if (!stricmp(lex,"begin")) {syn ='G';return 1;}
if (!stricmp(lex,"end")) {syn ='N';return 1;}
if (!stricmp(lex,"integer")) {syn ='I';return 1;}
if (!stricmp(lex,"real")) {syn ='R';return 1;}
if (!stricmp(lex,"boolean")) {syn ='L';return 1;}
if (!stricmp(lex,"do")) {syn ='T';return 1;}
if (!stricmp(lex,"while")) {syn ='W';return 1;}
if (!stricmp(lex,"var")) {syn ='V';return 1;}
if (!stricmp(lex,"program")) {syn ='M';return 1;}
if (!stricmp(lex,"or")) {syn ='O';return 1;}
if (!stricmp(lex,"and")) {syn ='U';return 1;}
if (!stricmp(lex,"not")) {syn ='C';return 1;}
if (!stricmp(lex,"true")) {syn ='Y';return 1;}
if (!stricmp(lex,"false")) {syn ='Z';return 1;}
return 0;
}
void scan()
{
int i;
lex=new char[30];
if(cl&&!feof(in))
{
i=0;
while (lit==' ' || lit=='\n' || lit=='\t')
{
if(lit == '\n') num++;
cl=getlit();
}
switch(cl)
{
case 1:
lex[i++]=lit; cl=getlit();
while ((cl<=2)&&(cl!=0)) {lex[i++]=lit;cl=getlit();}
lex[i]='\0';
if(zarezerv(lex)) { break;} else
if(i<=10) syn='A'; else {syn='E';break;}
break;
case 2:
lex[i++]=lit; cl=getlit();
while ((cl==2)&&(cl!=0)) {lex[i++]=lit; cl=getlit();}
lex[i]='\0';
if(i<=6) syn='B';else syn='F';break;
case 3:
lex[0]=lit;lex[1]='\0';
syn=lit; cl=getlit();break;
case 4:
lex[i++]=lit; cl=getlit();
if (cl==7) {lex[i++]=lit; lex[i]='\0'; syn='D'; cl=getlit();break;}
if (cl==6) {lex[i++]=lit; lex[i]='\0'; syn='H'; cl=getlit();break;}
lex[i]='\0';syn='J';break;
case 5:
lex[i++]=lit; cl=getlit();
if (cl==6) {lex[i++]=lit; lex[i]='\0'; syn='K'; cl=getlit();break;}
lex[i]='\0';syn=':';break;
case 6:
lex[i++]=lit;cl=getlit();
lex[i]='\0'; syn='P';break;
case 7:
lex[i++]=lit;cl=getlit();
if (cl==6) {lex[i++]=lit; lex[i]='\0'; syn='Q'; cl=getlit();break;}
lex[i]='\0';syn='S';break;
case 9:
lex[0]=lit;lex[1]='\0'; syn='X';cl=getlit();break;
}
}
}
void S()
{
scan();
if(syn != 'M'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": Programa povuna po4unatus' zi slova Program!!!\n"; return;}
scan();
if(syn != 'A'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": Nekorektne imja programu!!!\n"; return;}
New_Id();
scan();
if(syn != ';'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyet'sja ';'!!!\n"; return;}
scan();
if(syn != 'V' && syn != 'G'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyet'sja BEGIN abo VAR!!!\n"; return;}
if(syn == 'V')
R();
if(f) return;
T();
}
void R()
{
if(f) return;
scan();
P();
}
void P()
{
if(f) return;
Z();
if(f) return;
if(syn != ':'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyjet'sja ':'!!!\n"; return;}
scan();
Y();
if(f) return;
if(syn != ';'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyjet'sja ';'!!!\n"; return;}
scan();
while(syn != 'G')
{
Z();
if(f) return;
if(syn != ':'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyjet'sja ':'!!!\n"; return;}
scan();
Y();
if(f) return;
if(syn != ';'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyjet'sja ';'!!!\n"; return;}
scan();
}
}
void Z()
{
if(f) return;
if(syn != 'A'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyjet'sja identufikator!!!\n"; return;}
New_Id();
if(f) return;
scan();
while(syn != ':')
{
if(syn != ','){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyjet'sja ':'!!!\n"; return;}
scan();
if(syn != 'A'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": O4ikyjet'sja identufikator!!!\n"; return;}
New_Id();
if(f) return;
scan();
}
}
void Y()
{
if(f) return;
if(syn != 'I' && syn != 'R' && syn != 'L'){f = 1; cout<<"\n\n!!!ERROR!!!\n\nLine "<<num<<": Nevidomuj typ danuh!!!\n"; return;}
int j = id_num - 1;
while(M_id[j].type == 4)
{
if(syn == 'I') M_id[j--].type = 1; //Integer
else
if(syn == 'R') M_id[j--].type = 2; //Real
else
if(syn == 'L') M_id[j--].type = 3; //Boolean
}
scan();
}
void T()
{
if(f) return;
if(syn != 'G'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja BEGIN!!!\n"; return;}
scan();
A();
if(f) return;
if(syn != 'N'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja END!!!\n"; return;}
scan();
if(feof(in)) {printf(" "); lex = " ";}
if(syn != '.'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja '.'!!!\n"; return;}
}
void A()
{
if(f) return;
if(syn != 'N')
B();
if(f) return;
while(syn != 'N')
{
if(syn != ';'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja ';'!!!\n"; return;}
scan();
if(syn == 'N') break;
B();
if(f) return;
}
}
void B()
{
if(f) return;
if(syn == 'W')
W();
else
if(syn == 'G')
L();
else
if(syn == 'A')
V();
else
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Neo4ikyvani symvolu!!!\n"; return;}
}
void V()
{
if(f) return;
if(Check_Id() == -1){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Zminna '"<<lex<<"' ne opusana!!!\n"; return;}
t = Check_Id();
if(f) return;
scan();
if(syn != 'K'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja ':='!!!\n"; return;}
scan();
U();
}
void W()
{
if(f) return;
k = 1;
G();
if(f) return;
scan();
if(f) return;
if(syn != 'T'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja DO!!!\n"; return;}
scan();
k = 0;
B();
}
void L()
{
if(f) return;
scan();
A();
if(f) return;
if(syn != 'N'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja END!!!\n"; return;}
scan();
}
void G()
{
scan();
if(syn == '(')
{
scan();
G();
if(f) return;
if(syn != ')'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja ')'!!!\n"; return;}
return;
}
U();
D();
U();
}
void U()
{
if(f) return;
M();
if(f) return;
if(syn == '+' || syn == '-' || syn == 'O')
{
if(syn == 'O' && (t == 1 || t == 2))
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(OR povertaje BOOLEAN)!!!\n"; return;}
if((syn == '+' || syn == '-') && t == 3)
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(+ abo - ne povertaje BOOLEAN)!!!\n"; return;}
scan(); U();
}
}
void M()
{
if(f) return;
N();
if(f) return;
if(syn == '*' || syn == '/' || syn == 'U')
{
if(syn == '/' && t == 1)
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(dilennja povertaje REAL)!!!\n"; return;}
if(syn == 'U' && (t == 1 || t == 2))
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(AND povertaje BOOLEAN)!!!\n"; return;}
if((syn == '*' || syn == '/') && t == 3)
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(* abo / ne povertaje BOOLEAN)!!!\n"; return;}
scan(); M();
}
}
void N()
{
if(f) return;
if(syn == '(')
{
scan();
U();
if(f) return;
if(syn != ')'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyjet'sja ')'!!!\n"; return;}
}
else
if(syn == 'C')
{
if(t != 3)
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(NOT povertaje BOOLEAN)!!!\n"; return;}
scan(); N();
return;
}
else
if(syn == 'E'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Dovzhuna identufikatora <= 10!!!\n"; return;}
else
if(syn == 'F'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Dovzhuna ciloji konstantu <= 6!!!\n"; return;}
else
if(syn != 'A' && syn != 'B' && syn != 'Y' && syn != 'Z'){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Pomulka y vurazi!!!\n"; return;}
Check_Type();
if(f) return;
scan();
}
void D()
{
if(f) return;
if(syn != 'P' && syn != 'J' && syn != 'S' && syn != 'D' && syn != 'H' && syn != 'Q')
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": O4ikyet'sja logi4na operacija!!!\n"; return;}
scan();
}
void Vudilutu_Lexemy()
{
int X, Y;
CONSOLE_SCREEN_BUFFER_INFO csbi;
COORD coord;
GetConsoleScreenBufferInfo(GetStdHandle(STD_OUTPUT_HANDLE), &csbi);
X = coord.X = csbi.dwCursorPosition.X;
Y = coord.Y = csbi.dwCursorPosition.Y;
coord.X -= strlen(lex);
SetConsoleCursorPosition(GetStdHandle(STD_OUTPUT_HANDLE), coord);
SetConsoleTextAttribute(GetStdHandle(STD_OUTPUT_HANDLE), 192);
printf(lex);
SetConsoleTextAttribute(GetStdHandle(STD_OUTPUT_HANDLE), 7);
while(!feof(in))
{
lit = fgetc(in);
if(ch != 0) putchar(ch);
ch = lit;
}
}
void SetWindowRect()
{
COORD BufCoord = {80, 40};
SetConsoleScreenBufferSize(GetStdHandle(STD_OUTPUT_HANDLE), BufCoord);
SMALL_RECT WinRect = {0, 0, 79, 38};
SMALL_RECT* WinSize = &WinRect;
SetConsoleWindowInfo(GetStdHandle(STD_OUTPUT_HANDLE), true, WinSize);
}
void New_Id()
{
for(int j = 0; j < id_num; j++)
if(!strcmp(M_id[j].id, lex))
{f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Povtornuj opus zminnoji!!!\n"; return;}
M_id[id_num].id = lex;
M_id[id_num++].type = 4;
}
int Check_Id()
{
for(int j = 0; j < id_num; j++)
if(!strcmp(M_id[j].id, lex)) return M_id[j].type;
return -1;
}
void Check_Type()
{
if(k && (syn == 'A' || syn == 'B')) {if(Check_Id() == 3) t = 3; else t = 2;}
k = 0;
if(syn == 'A' && Check_Id() == -1){f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Zminna '"<<lex<<"' ne opusana!!!\n"; return;}
if(f) return;
if(t == 1 && (syn != 'B' && syn == 'A' && Check_Id() != 1 || syn == 'Y' || syn == 'Z'))
{if(f) return; f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(o4ikyet'sja rezyl'tat INTEGER - \n"<<
" zminna tupy REAL/BOOLEAN)!!!\n"; return;}
if(t == 2 && (syn != 'B' && syn == 'A' && Check_Id() == 3 || syn == 'Y' || syn == 'Z'))
{if(f) return; f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(o4ikyet'sja rezyl'tat REAL - \n"<<
" zminna tupy BOOLEAN)!!!\n"; return;}
if(t == 3 && (syn == 'B' || syn == 'A' && Check_Id() != 3))
{if(f) return; f = 1; cout<<"\n\n!!!ERROR!!!\nLine "<<num<<": Nevidpovidnist' tupiv(o4ikyet'sja rezyl'tat BOOLEAN - \n"<<
" zminna tupy REAL/INTEGER/4USLO)!!!\n"; return;}
}
Контрольний приклад:
Приклад вхідного файлу:
program a34;
var
abcd2, f: real;
b, a, s: integer;
se, c, d: BooLeAn;
efw,dwewe,we:Real;
Begin
f:=(b*b)+a*s - f * s+b;
while
((s>= (s*a/s)) do
begin
bEgin
b:=165523;
c:= not true;
end;
d:=not false or (not se or d);
c := not c and se or false;
se := TrUe or FaLsE and d or not c;
end;
end.
Приклад виводу в консолі:
program a34;
var
abcd2, f: real;
b, a, s: integer;
se, c, d: BooLeAn;
efw,dwewe,we:Real;
Begin
f:=(b*b)+a*s - se* s+b;
while
((s>= (s*a/s)) do
begin
bEgin
b:=165523;
c:= not true;
end;
d:=not false or (not se or d);
c := not c and se or false;
se := TrUe or FaLsE and d or not c;
end;
end.
!!!ERROR!!!
Line 11: Nevidpovidnist' tupiv(o4ikyet'sja rezyl'tat REAL -
zminna tupy BOOLEAN)!!!
Press any key to continue
Висновок:
На цій лабораторній я ознайомився з принципом семантичного аналізу – перевіркою «змісту» вхідної програми. Семантичний контроль я здійснював по трьох правилах описаних вище, використовуючи вже створений синтаксичний аналізатор у попередній лабораторній. Також я написав програму синтаксичного контролю вхідного тексту програми написаної на мові Pascal, яка при виявленні помилки «змісту» програми виводить рядок програми що містить помилку та вказує тип помилки. Результати програми виводяться на екран.
Ділись своїми роботами та отримуй миттєві бонуси!
0%
Оголошення від адміністратора