Russian | English |
если же множества начального выбора оказываются равными и для каждой начальной альтернативы дальнейшее поведение процессов совпадает, то очевидно, что процессы тождественны | However, if the initial choices are the same, and for each initial choice the subsequent behaviours are the same, then obviously the processes are identical (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают | Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
количество строк в табличном представлении совпадает с количеством объектов в массиве | the number of entries in the table view will be the same as the number of objects in the array (ssn) |
логика программы совпадает с направлением прогона | logic with program flow (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
Направление результата совпадает с направлением левого операнда, если только он не является пустым массивом | the direction of the result is the direction of the left operand, unless the left operand is a null array (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
одномерный неограниченный массив, тип элементов которого совпадает с типом элементов разрешённого сигнала | one-dimensional, unconstrained array whose element type is that of the resolved signal (ssn) |
Последовательность символов, представляющая знак оператора, должна совпадать с одним из операторов, принадлежащих к одному из шести классов операторов, определённых в 7.2 | the sequence of characters of the operator symbol must be one of the operators in the six operator classes defined in Section 7.2 (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
совпадать с одним из операторов, принадлежащих к одному из шести классов операторов | be one of the operators in the six operator classes (ssn) |
строка, объявленная длина которой не совпадает с длиной, указанной в формальном параметре | conformant string (в языке Pascal ssn) |
Тип возвращаемого значения функции также должен совпадать с типом сигнала | the type of the return value of the function must also be that of the signal (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
Функция разрешения должна иметь один входной параметр в виде одномерного неограниченного массива, тип элементов которого совпадает с типом элементов разрешённого сигнала | A resolution function must have a single input parameter that is a one-dimensional, unconstrained array whose element type is that of the resolved signal (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |