| The function r is syntactic sugar for the function that prints a newline character. |
Функция г - синтаксический сахар к функции, печатающей символ новой строки. |
| DCG notation is just syntactic sugar for normal definite clauses in Prolog. |
Нотация DC-грамматик представляет собой синтаксический сахар для нормального множества синтаксических предложений в Прологе. |
| 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. |
Термин 'синтаксический' охватывает немного более широкий контекст чем термин 'теоретико-доказательный', так как может быть применен к свойствам ФЯ безотносительно к любой дедуктивной системе, а также к формальным системам. |
| In January 1977 he defended his Ph. D dissertation "Syntactic Parallelism" (on the language of the Epos "The Book of Dada Gorgud") in Moscow. |
В январе 1977 года в Москве защитил кандидатскую диссертацию на тему: «Синтаксический параллелизм» (на основе языка дастана «Китаби Деде Коркут»). |