今天我突然想到,虽然我在提到语言元素和命名约定时已经采用并且不经常使用“语义”一词,但我对正式定义没有任何感觉。
我试图在编程领域找到一个正式的定义 http://en.wikipedia.org/wiki/Formal_semantics_of_programming_languages让我目光呆滞。
我从我所遇到的上下文以及它在语言学方面更常见的用法中了解了它的含义,并且我通常使用该术语来指代语言元素的含义或表现力,或命名法对其所命名的意图、行为或功能的忠实度.
不过,这个定义是我自己的想法。我主修人类学/英语,从未上过计算机科学课程。这是CS里教的吗?
是否有一个更准确的定义可以归结为一两个陈述,而不是一篇详尽无遗的文章?
抄袭的定义here http://web.archive.org/web/20040410154109/cs.wwc.edu/~aabyan/PLBook/HTML/Semantics.html is 编程语言的语义描述了语法和计算模型之间的关系。。这几乎正是您推断的定义。症结所在,也是让你目光呆滞的地方,正是计算模型的精确定义。
有许多不同的计算形式模型,每种模型都会导致不同形式的语义。操作语义可能最接近大多数人非正式地建模语义的方式,让每个代码片段通过解释器运行并更改抽象例程的状态。这种方法在许多并发性或不确定性等模型中都失败了,因此还有其他语义更适合这些情况。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)