Лекция 7 Formal gramatika

<цифра> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
<идентификатор> ::= <буква> {<буква> | <цифра>}


Идентификатор С++ да:
a, a2, alfa, gamma, x, y, progr1, …. va xkz.
Ифода (выражение):
a+b, a*2*exp(t), b*sin(x), sigma+cos(x-y), ……

Арифметическое выражение

• 
  Терминалы: '+', '-', '*', '/', '(', ')', 'x' ….. клавиатурадаги символлар
  
• 
  нетерминалы: <выражение>, <слагаемое>, <множитель> -идентификаторлар, номлар, ифодалар ……
  
• 
  продукции:
  

<выражение> → <выражение> + <слагаемое>,
<выражение> → <выражение> - <слагаемое>,
<выражение> → <слагаемое>,
<слагаемое> → <слагаемое> * <множитель>,
<слагаемое> → <слагаемое> / <множитель>,
<слагаемое> → <множитель>,
<множитель> → ( <выражение> ),
<множитель> → x,
Гап (предложение):
Хар бир сатри гап (предложение) хисобланади – бу формал тилнинг операторлари, буйруклари. Гаплар йигиндиси матн (текст) хисобланади – бу программа.
int a,b,c;
int y1,y2,y3;
cout<<" vvedite znachenie a,b,c = "<cout<<" a=";
cin>>a;
cout<<" b=";
cin>>b;
cout<<" c=";
cin>>c;
y1=a+b+c;
y2=a-b-c;
y3=a*b*c;
cout<<" Rezultati vichisleniy:"<cout<<" y1="<cout<<" y2="<cout<<" y3="<

Формал тилларни компьютерда амалга ошириш усуллари
Элементы теории трансляции
Транслятор
позволяет преобразовать программу, написанную на ЯП, отличном от машинного языка, квиду, допускающему выполнение на ЭВМ.
Компилятор
на вход получает программу на некотором ЯП (немашинном), а на выходе выдает объектный модуль (программу на машинном языке).
Интерпретатор
на вход получает программу на некотором ЯП (немашинном) и, считывая предложение за предложением исходной программы, анализирует их и тут же выполняет действия, указанные в этих предложениях.