Операционный символ {вычесть}p, q, r

Тип элемента	p	t1
Тип элемента	q	t2
Тип элемента	r	t3

if (t1 = integer)

{

if (t2 = integer)

{Записать на выход выражение ПОЛИЗ:

@SUBINT

t3  integer

}

else

if (t2 = rational)

{Записать на выход выражение ПОЛИЗ:

@ITOR2

@SUBRAT

t3  rational

}

else {Ошибка}

}

else

if (t1 = rational)

{

if (t2 = integer)

{Записать на выход выражение ПОЛИЗ:

@ITOR

@SUBRAT

t3  rational

}

else

if (t2 = rational)

{Записать на выход выражение ПОЛИЗ:

@SUBRAT

t3  rational

}

else {Ошибка}

}

else {Ошибка}

Операционный символ { умножить }p, q, r

Тип элемента	p	t1
Тип элемента	q	t2
Тип элемента	r	t3

if (t1 = integer)

{

if (t2 = integer)

{Записать на выход выражение ПОЛИЗ:

@MULINT

t3  integer

}

else

if (t2 = rational)

{Записать на выход выражение ПОЛИЗ:

@ITOR2

@MULRAT

t3  rational

}

else {Ошибка}

}

else

if (t1 = rational)

{

if (t2 = integer)

{Записать на выход выражение ПОЛИЗ:

@ITOR

@MULRAT

t3  rational

}

else

if (t2 = rational)

{Записать на выход выражение ПОЛИЗ:

@MULRAT

t3  rational

}

else {Ошибка}

}

else {Ошибка}

Операционный символ { делить }p, q, r

Тип элемента	p	t1
Тип элемента	q	t2
Тип элемента	r	t3

if (t1 = integer)

{

if (t2 = integer)

{Записать на выход выражение ПОЛИЗ:

@DIVINT

t3  integer

}

else

if (t2 = rational)

{Записать на выход выражение ПОЛИЗ:

@ITOR2

@DIVRAT

t3  rational

}

else {Ошибка}

}

else

if (t1 = rational)

{

if (t2 = integer)

{Записать на выход выражение ПОЛИЗ:

@ITOR

@DIVRAT

t3  rational

}

else

if (t2 = rational)

{Записать на выход выражение ПОЛИЗ:

@DIVRAT

t3  rational

}

else {Ошибка}

}

else {Ошибка}

Операционный символ { общий знаменатель }p, q, r

Тип элемента	p	t1
Тип элемента	q	t2
Тип элемента	r	t3

if (t1 = rational) and (t2 = rational)

{Записать на выход выражение ПОЛИЗ:

@COMMON

t3  integer

}

else {Ошибка}

Операционный символ { поменять знак }_{p, r}

Тип элемента	p	t1
Тип элемента	r	t2

if (t1 = rational)

{Записать на выход выражение ПОЛИЗ:

@NEGRAT

t2  rational

}

else

if (t1 = integer)

{ Записать на выход выражение ПОЛИЗ:

@NEGINT

t2  integer

}

else {Ошибка}

Операционный символ { дробная часть }_{p, r}

Тип элемента	p	t1
Тип элемента	r	t2

if (t1 = rational)

{Записать на выход выражение ПОЛИЗ:

@FRAC

t2  rational

}

else {Ошибка}

Операционный символ { целая часть }_{p, r}

Тип элемента	p	t1
Тип элемента	r	t2

if (t1 = rational)

{Записать на выход выражение ПОЛИЗ:

@INT

t2  integer

}

else {Ошибка}

Операционный символ { простая дробь }_{p, r}

Тип элемента	p	t1
Тип элемента	r	t2

if (t1 = rational)

{Записать на выход выражение ПОЛИЗ:

@SIMPLIFY

t2  rational

}

else {Ошибка}

Операционный символ { неправильная дробь }_{p, r}

Тип элемента	p	t1
Тип элемента	r	t2

if (t1 = rational)

{Записать на выход выражение ПОЛИЗ:

@IRREGULAR

t2  rational

}

else {Ошибка}

Операционный символ { число }_p

Тип элемента	p	t1
Значение элемента	p	a1

Записать на выход выражение ПОЛИЗ:

a1

Подграмматика для логических выражений:

Таблица нетерминалов:

Имя нетерминала	Описание	Тип атрибута
LEXt	Логическое выражеие	t – синтезированный
Сt	Конъюнкция	t – синтезированный
SCp, t	Последовательность конъюнкций	p – унаследованный, t – синтезированный
RELt	Отношение	t – синтезированный
LMt	Логический множитель	t – синтезированный
SLMp, t	Последовательность логических множителей	p – унаследованный, t – синтезированный
REOt	Операция отношения	t – синтезированный
EXPp	Выражение	p – синтезированный

LEX_t2  C_p1 SC_{p2, t1}

p2  p1

t2  t1

SC_{p1, t2}or C_q1 {дизъюнкция}_{p2, q2, r1} SC_{r2, t1}

p2 p1

q2  q1

t2  t1

SC_{p1, p2}

p2 p1

LEX_p2  REL_p1

p2  p1

C_t2  LM_p1 SLM_{p2, t1}

p2 p1

t2  t1

SLM_{p1, t2} and LM_q1 {конъюнкция}_{p2, q2, r1} SLM_{r2, t1}

p2  p1

q2  q1

t2  t1

SLM_{p1, p2}

p2  p1

LM_p2( LEX_p1 )

p2  p1

LM_t2not LM_p1 {отрицание}_{p2, t1}

p2  p1

t1  t2

REL_t2EXP_p1 REO_p2 EXP_p3 {отношение}_{q1, q2, q3, t1}

q1  p1

q2  p2

q3  p3

t2  t1

REO_p<_q

p  q (q = <)

REO_p>_q

p  q (q = >)

REO_p=_q

p  q (q = =)

REO_p<=_q

p  q (q = <=)

REO_p>=_q

p  q (q = >=)

REO_p<>_q

p  q (q = <>)