Режим переполоха. Преобразование входного текста в постфиксную форму записи, страница 5

1.  Постфиксной записью (ПФЗ) пустой цепочки символов e является e.

2.  Постфиксной записью идентификатора i является идентификатор i.

3.  Постфиксной записью константы c является константа c.

4.  Если E – произвольное выражение, то постфиксной записью выражения ( E ) будет ПФЗ(E):

( a + b * c )        =>     abc * +

5.  Если E – выражение вида 2, 3 или 4, то постфиксной записью выражения – E (изменение знака значения E) будет ПФЗ(E) –:

– x  =>     x –     ( или 0 x –)

6.  Если E – выражение вида 2, то постфиксной записью выражений ++E, – – E,  E ++ и E– – является ПФЗ(E) + +
и ПФЗ(E)– – соответственно. (Если такое выражение может встречаться как составная часть другого выражения, то это определение неверно, его нужно дорабатывать).

7.  Если E ₁ , E ₂ , … E _k– выражения вида 2…9, то постфиксной записью выражения ● (E ₁ , E ₂ , … E _k) является ПФЗ(E ₁) ПФЗ(E ₂) ... ПФЗ(E_k) ●, где ● – знак любой k-арной операции (функции с k аргументами), а ПФЗ(E ₁), ПФЗ(E ₂) … ПФЗ(E_k) – постфиксные записи выражений E ₁ , E ₂ … E _k соответственно.

GetClientRect(hWnd,myRect)          =>     hWnd myRect GetClientRect

(Доработка пункта 6: ПФЗ(++E) = ПФЗ( incPre(&E) ) = E & incPre, ПФЗ(E++) = E & incPost)

8.  Если E ₁ и E ₂ – выражения вида 2…7, то постфиксной записью выражения E ₁ ●  E ₂ является ПФЗ(E ₁) ПФЗ(E ₂) ●, где ●  – знак любой бинарной операции (присваивания, сложения, вычитания, умножения, …), а ПФЗ(E ₁) и
ПФЗ(E ₂) – постфиксные записи выражений E ₁ и E ₂ соответственно.

9.  Если E ₁ , E ₂ , E ₃ – выражения вида 2…8, то постфиксной записью выражения E ₁ ¨ E ₂ ● E ₃ (где ¨ и ● – знаки бинарных операций) является ПФЗ(E ₁) ПФЗ(E ₂) ¨ ПФЗ(E ₃) ●, если приоритет знака операции ¨ не меньше приоритета знака операции ●, и ПФЗ(E ₁) ПФЗ(E ₂) ПФЗ(E ₃) ● ¨ – в противном случае.

( a * b + c )        =>     ab*c  +

10.  Если E ₁ – выражение вида 2, а E ₂ – выражение вида 2…9, то постфиксной записью выражения E ₁● E ₂ ; является ПФЗ(E ₁) ПФЗ(E ₂) ●, где ●  – знак операции присваивания ( такой как =, +=, *=, …).

x=( a * b + c ) / d ;      =>     x a b * c + d / =

Расширим грамматику G_a1 до грамматики операторов присваивания и добавим действия для преобразования в ПФЗ:

0. Z : P u

1. P : { PutToPFR(CurrentLexem); } i = S { PutToPFR(“=”); }

2. S : S + T { PutToPFR(“+”); }

3. S : T

4. T : T * F { PutToPFR(“*“); }

5. T : F

6. F : ( S )

7. F : { PutToPFR(CurrentLexem); } i

8. F : { PutToPFR(CurrentLexem); } c

Преобразование управляющих конструкций
языка программирования в постфиксную форму записи

Operator : while ( Expression ) Block

ПФЗ( while ( Expression ) Block ) =

Label1: ПФЗ( Expression ) Label2 JmpFПФЗ( Block ) Label1 Jmp Label2:

Должна быть обеспечена уникальность меток.

Используется счетчик операторов цикла WhileCount и стек для хранения номеров операторов цикла wStack:

Operator : while

{ wStack.Push(++WhileCount); PutToPFR(“Label1” + Top() + “:”);}

( Expression )

{ PutToPFR(“Label2” + wStack.Top()); PutToPFR(“JmpF”); }

Block

{ PutToPFR(“Label1” + wStack.Top()); PutToPFR(“Jmp”);

PutToPFR(“Label2” + wStack.Pop() + “:”); }

При наличии многих разных управляющих конструкций (циклы, переключатели, условные операторы) можно использовать разные счетчики и разные «базовые» части меток, а можно преобразовывать все такие операторы с использованием одного счетчика (и одной и той же «базовой» части меток).

СЕМАНТИЧЕСКИЙ АНАЛИЗ

 

x = ( a + b ) * ( c – d ) ;

x a b + c d – * =

Операция	Имя операнда 1	Имя операнда 2	Имя результата
+	b	a	¯
+	d	c	¯
*	­	­	¯
=	­	x