История изменений
Исправление qulinxao3, (текущая версия) :
A Science of Operations by Mark Priestley
в главе о pl в вариантах семантика синтаксис прагматика Дейкстра процитирован в части что в языке любое высказывание отображается в семантику - это было аж течение отказа от синтаксиса
A more radical assault on the conventional metalinguistic scheme was made by van Wijngaarden and Dijkstra, who introduced a notion of “syntax-free languages”, or more precisely, languages for which syntactical rules did not have their normal regulatory function. As van Wijngaarden put it, “[t]he main idea in constructing a general language, I think, is that the language should not be burdened by syntactical rules which define meaningful texts”.28 Dijkstra later gave an account of the philosophy of language underlying this view, in which meaning was viewed as being inextricable from the act of communication, in the sense that “the reaction of my listener determines what my utterances mean”. It follows, according to Dijkstra, that to know the meaning of an utterance is to be able to predict the reaction of a listener. This cannot be done precisely if the listener is a human being, and Dijkstra described conversations between humans as devices which provide feedback enabling one to improve one’s predictive ability. If the listener is a machine, however, as in the case of programming languages, its responses can be precisely predicted. The semantics of a programming language can then be specified by “the description of a machine that has as reaction to an arbitrary process description in this language the actual execution of the process”, the point being that in the case of programming languages we can tell from the text alone what process will be executed.29
Исправление qulinxao3, :
A Science of Operations by Mark Priestley
в главе о pl в вариантах семантика синтаксис прагматика Дейкстра процитирован в части что в языке любое высказывание отображается в семантику - это было аж течение отказа от синтаксиса
A more radical assault on the conventional metalinguistic scheme was made by van Wijngaarden and Dijkstra, who introduced a notion of “syntax-free languages”, or more precisely, languages for which syntactical rules did not have their normal regulatory function. As van Wijngaarden put it, “[t]he main idea in constructing a general language, I think, is that the language should not be burdened by syntactical rules which define meaningful texts”.28 Dijkstra later gave an account of the philosophy of language underlying this view, in which meaning was viewed as being inextricable from the act of communication, in the sense that “the reaction of my listener determines what my utterances mean”. It follows, according to Dijkstra, that to know the meaning of an utterance is to be able to predict the reaction of a listener. This cannot be done precisely if the listener is a human being, and Dijkstra described conversations between humans as devices which provide feedback enabling one to improve one’s predictive ability. If the listener is a machine, however, as in the case of programming languages, its responses can be precisely predicted. The semantics of a programming language can then be specified by “the description of a machine that has as reaction to an arbitrary process description in this language the actual execution of the process”, the point being that in the case of programming languages we can tell from the text alone what process will be executed.29
Исходная версия qulinxao3, :
A Science of Operations by Mark Priestley
в главе о pl в вариантах семантика синтаксис прагматика Дейкстра процитирован в части что в языке любое высказывание отображается в семантику - это было аж течение отказа от синтаксиса