Syntactical control of data input, check-up of allowed data intervals, application of special attributes, such as "repeated data entry", "copying", "mandatory input". |
Синтаксический контроль ввода, проверка диапазонов, применение специальных атрибутов, таких как "двойной ввод", "копирование", "обязательно к вводу". |
DCG notation is just syntactic sugar for normal definite clauses in Prolog. |
Нотация DC-грамматик представляет собой синтаксический сахар для нормального множества синтаксических предложений в Прологе. |
The next complete syntactic component (s-expression) can be commented out with ;. |
Следующий полный синтаксический элемент (s-выражение) может быть откомментирован при помощи ;. |
The term syntactic sugar was coined by Peter J. Landin in 1964 to describe the surface syntax of a simple ALGOL-like programming language which was defined semantically in terms of the applicative expressions of lambda calculus, centered on lexically replacing λ with "where". |
Термин «синтаксический сахар» (англ. syntactic sugar) был введён Питером Лэндином (Peter J. Landin) в 1964 году для описания поверхностного синтаксиса простого алголоподобного языка, семантически определяемого в терминах аппликативных выражений лямбда-исчисления с последующей чисто лексической заменой λ на where. |
The term 'syntactic' has a slightly wider scope than 'proof-theoretic', since it may be applied to properties of formal languages without any deductive systems, as well as to formal systems. |
Термин 'синтаксический' охватывает немного более широкий контекст чем термин 'теоретико-доказательный', так как может быть применен к свойствам ФЯ безотносительно к любой дедуктивной системе, а также к формальным системам. |