
Описание языка тетрад
Тетрада |
Семантика тетрады |
ATOI, A, ..., R |
перевод вещественного числа в целое |
ITOA, I, ..., R |
перевод целого числа в вещественное |
CTOI, C, ..., R |
перевод символа в целое число |
ITOC, I, ..., R |
перевод целого числа в символ |
MORE, X, Y, R |
сравнение X > Y |
LESS, X, Y, R |
сравнение X < Y |
+, X, Y, R |
операция сложения X и Y: X + Y |
-, X, Y, R |
операция вычитания X и Y: X – Y |
*, X, Y, R |
операция умножения X и Y: X * Y |
/, X, Y, R |
операция деления X и Y: X / Y |
=, X, ..., Y |
операция присваивания X к Y: Y = X |
++, X, ..., R |
инкремент X: X++ |
--, X, ..., R |
декнремент X: X-- |
&&, X, Y, R |
операция логического "И" X и Y: X && Y |
||, X, Y, R |
операция логического "ИЛИ" X и Y: X || Y |
!, X, ..., R |
операция логического отрицания X: !X |
==, X, Y, R |
операция логического равенства X и Y: X == Y |
RE, X, ..., R |
оперция взятия действительной части комплексного числа X: X .re |
IM, X, ..., R |
оперция взятия мнимой части комплексного числа X: X .im |
MOD, X, ..., R |
оперция взятия модуля комплексного числа X: X .mod |
Некоторые из простых операций можно определить с использованием того, что уже есть.
Операция +=: X += Y |
+ X Y R = R X |
|
Операция >=: X >= Y |
> X Y R1 == X Y R2 || R1 R2 R |
Операция -=: X -= Y |
- X Y R = R X |
|
Операция <=: X <= Y |
< X Y R1 == X Y R2 || R1 R2 R |
Операция *=: X *= Y |
* X Y R = R X |
|
| |
Операция /=: X /= Y |
/ X Y R = R X |
|
| |
Операция != : X != Y |
== X Y R1 ! R1 R |
|
|
Операции для матриц (.len .hei .trans [i]) более распределенные, их делают более сложно