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 года в Москве защитил кандидатскую диссертацию на тему: «Синтаксический параллелизм» (на основе языка дастана «Китаби Деде Коркут»). |
Probably, according to what many linguists believe, fully modern language, syntactic language - subject, verb, object - that we use to convey complex ideas, like I'm doing now, appeared around that time. |
Возможно, по мнению многих лингвистов, наш современный язык, синтаксический язык, в котором есть подлежащее, сказуемое и дополнение, и который мы используем, чтобы выразить сложные идеи, как это сейчас делаю я, появился именно тогда. |