Russian | English |
в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы | in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
в частности, допускается преобразование операнда конкретного типа в сам тип | in particular, conversion of an operand of a given type to the type itself is allowed (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
выражение смысла значения, допускаемое в конкретной области значений | expression of a value meaning allowed in a specific value domain (определение допустимого значения (permissible value) в ISO/IEC 11179-1:2004, статья 3.3.28 ssn) |
допускаемый основной структурой | allowed by the basic structure (ssn) |
допускается использование | it is fine to use (Alex_Odeychuk) |
допускать адресную арифметику с указателями | permit pointer arithmetic (IBM Alex_Odeychuk) |
допускать использование временных ограничений | allow the clock constraints (ssn) |
допускать использование средств императивного программирования | allow impure functionality (Alex_Odeychuk) |
допускать наследование | allow inheritance (Alex_Odeychuk) |
допускать неопределённое значение | be able hold a null (Alex_Odeychuk) |
допускать утечку ресурсов | leak resources (англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
допускать хранение неопределённого значения | be able hold a null (Alex_Odeychuk) |
если допускается альтернативное представление элементов языка программирования, то вывод на дисплей обычно осуществляется по выбору пользователя | if alternative representation of programming language elements is available, then the display representation is generally user-selectable (см. IEC 61131-1 2003 ssn) |
мы допускаем, что из внешнего мира помещается фишка в позицию, соответствующую входному символу, а затем фишка, появившаяся в позиции, соответствующей выходному символу, удаляется оттуда | we assume that the outside world will deposit a token in the place corresponding to an input symbol and then wait for a token to appear in a place corresponding to an output symbol which will then be removed |
не допускать | disallow (ssn) |
не допускать | disable (ssn) |
Порядок появления событий является одним из возможных, допускаемых основной структурой | the order of occurrence of the events is one of possibly many allowed by the basic structure |
являться одним из возможных, допускаемых основной структурой | be one of possibly many allowed by the basic structure (ssn) |