- •Задание на курсовую работу
- •1. Описание входного языка.
- •1.2.3. Конструкции входного языка.
- •Если результат false, то происходит переход на оператор2, в противном случае выполняется оператор1 и происходит переход в конец оператора if-then-else. Лексический анализатор.
- •Представление основных операторов в полиз
- •Операционный символ { вычислить адрес }p, n, r
- •Операционный символ {сложить}p, q, r
- •Операционный символ {вычесть}p, q, r
- •Операционный символ { умножить }p, q, r
- •Операционный символ { делить }p, q, r
- •Операционный символ { общий знаменатель }p, q, r
- •Операционный символ { дизъюнкция }p, q, r
- •Операционный символ { конъюнкция }p, q, r
- •Операционный символ { отрицание }p, q
- •Операционный символ { меньше }p, q, r
- •Операционный символ { отношение }q1, q2, q3, r
- •Операционный символ { id }n
- •Операционный символ { init }n, V, r
- •Операционный символ { нач_ц }q1, q2, q3, m1, m2, r2
- •Операционный символ { кон_ц } q4, q5, m1, m2
- •Операционный символ { присвоить }p, q
- •Операционный символ { имя }q, r
- •Операционный символ { последовательность имён }p, q, r
- •Операционный символ {индекс}p, r
- •Операционный символ {массив}t, q, r
- •Операционный символ { последовательность индексов }p, q, r
- •Операционный символ {диапазон}p, q, r
- •Операционный символ {создать метку}p, r
- •Описание типа
- •Структуры данных дмп-процессора
- •Структура символа
- •Магазин дмп процессора
- •Часть 1 :
- •Часть 2 :
- •Разработка дмп-процессора
- •Взаимодействие дмп-процессоров
- •Алгоритм работы дмп-процессора
- •Передача атрибутов в дмп-процессоре
- •Тестирование дмп-процессора
Операционный символ { вычислить адрес }p, n, r
|
Тип элемента |
p |
t1 |
|
Значение элемента |
p |
a1 |
|
Значение элемента |
n |
a2 |
|
Тип элемента |
r |
t3 |
|
Значение элемента |
r |
a3 |
if (t1 – тип массив)
{ Записать на выход выражение ПОЛИЗ:
-
a2
@SUBS
t3 тип верхнего элемента стека
}
else {
if (a2 = 1) { t3 t1 }
else { Ошибка }
}
Операционный символ { индекс }p
|
Тип элемента |
p |
t1 |
|
Значение элемента |
p |
a1 |
if (t1 – перечислимый, ограниченный или целый тип)
{ }
else {Ошибка
}
Операционный символ { числитель }p, t
|
Тип элемента |
p |
t1 |
|
Значение элемента |
p |
a1 |
|
Тип элемента |
t |
t2 |
|
Значение элемента |
t |
a2 |
if (t1 = rational)
{ Записать на выход выражение ПОЛИЗ:
-
@NUMERATOR
t2 integer
}
else {Ошибка
}
Операционный символ { знаменатель }p, t
|
Тип элемента |
p |
t1 |
|
Значение элемента |
p |
a1 |
|
Тип элемента |
t |
t2 |
|
Значение элемента |
t |
a2 |
if (t1 = rational)
{ Записать на выход выражение ПОЛИЗ:
-
@DENOMINATOR
t2 integer
}
else {Ошибка
}
Операционный символ { переменная }p
|
Тип элемента |
p |
t1 |
|
Значение элемента |
p |
a1 |
Записать на выход выражение ПОЛИЗ:
|
a1 |
Операционный символ { inc }n1, n2
n2 n1 + 1
Подграмматика для выражения:
Таблица нетерминалов:
|
Имя нетерминала |
Описание |
Тип атрибута |
|
EXPt |
Выражение |
t – синтезированный |
|
AEt |
Слагаемое |
t – синтезированный |
|
MEt |
Множитель |
t – синтезированный |
|
SAEp, t |
Последовательность слагаемых |
t – синтезированный, p - унаследованный |
|
SMEt |
Последовательность множителей |
t – синтезированный, |
|
VARt |
Переменная |
t – синтезированный, |
EXPt2 AEp1 SAEp2, t1
p2 p1
t2 t1
SAEp1, t2 + AEq1 {сложить}p2, q2, r1 SAEr2, t1
p2 p1
q2 q1
r2 r1
t2 t1
SAEp1, t2 - AEq1 {вычесть}p2, q2, r1 SAEr2, t1
p2 p1
q2 q1
r2 r1
t2 t1
SAEp1, p2
p2 p1
AEt2 MEq1 SMEq2, t1
q2 q1
t2 t1
SMEp1, t2 * MEq1 {умножить}p2, q2, r1 SMEr2, t1
p2 p1
q2 q1
r2 r1
t2 t1
SMEp1, t2 / MEq1 {делить}p2, q2, r1 SMEr2, t1
p2 p1
q2 q1
r2 r1
t2 t1
SMEp1, t2 common MEq1 {общий знаменатель}p2, q2, r1 SMEr2, t1
p2 p1
q2 q1
r2 r1
t2 t1
SMEp1, p2
p2 p1
MEp2 + MEp1
p2 p1
MEr2 - MEp1 {поменять знак}p2, r1
p2 p1
r2 r1
MEr2frac MEp1 {дробная часть}p2, r1
p2 p1
r2 r1
MEr2int MEp1 {целая часть}p2, r1
p2 p1
r2 r1
MEr2simplify MEp1 {простая дробь}p2, r1
p2 p1
r2 r1
MEr2irregular MEp1 {неправильная дробь}p2, r1
p2 p1
r2 r1
MEp2 VARp1
p2 p1
MEp2 usip1 {число}p1
p2 p1
MEp2( EXPp1 )
p2 p1
Операционный символ {сложить}p, q, r
|
Тип элемента |
p |
t1 |
|
Тип элемента |
q |
t2 |
|
Тип элемента |
r |
t3 |
if (t1 = integer)
{
if (t2 = integer)
{Записать на выход выражение ПОЛИЗ:
-
@ADDINT
t3 integer
}
else
if (t2 = rational)
{Записать на выход выражение ПОЛИЗ:
-
@ITOR2
@ADDRAT
t3 rational
}
else {Ошибка}
}
else
if (t1 = rational)
{
if (t2 = integer)
{Записать на выход выражение ПОЛИЗ:
-
@ITOR
@ADDRAT
t3 rational
}
else
if (t2 = rational)
{Записать на выход выражение ПОЛИЗ:
-
@ADDRAT
t3 rational
}
else {Ошибка}
}
else {Ошибка}