| 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) |
| значение, совпадающее с ключом | value that matches a key value (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) |
| наиболее длинный совпадающий префикс | longest matching prefix (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) |
| нахождение наиболее длинного совпадающего префикса | longest matching prefix operation (ssn) |
| одномерный неограниченный массив, тип элементов которого совпадает с типом элементов разрешённого сигнала | one-dimensional, unconstrained array whose element type is that of the resolved signal (ssn) |
| поиск в двоичном дереве значения, совпадающего с ключом | searching a binary tree for a value that matches a key value (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) |
| самый длинный совпадающий префикс | longest matching prefix (ssn) |
| совпадать с одним из операторов, принадлежащих к одному из шести классов операторов | be one of the operators in the six operator classes (ssn) |
| совпадающая строка фильтра | matching filter string (ssn) |
| совпадающее значение | matching value (ssn) |
| совпадающий префикс | matching prefix (ssn) |
| совпадающий элемент | matching entry (ssn) |
| строка, объявленная длина которой не совпадает с длиной, указанной в формальном параметре | conformant string (в языке Pascal ssn) |
| строки без совпадающих элементов | rows without matching entries (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) |
