形式语义 – 什么是“形式语义”?

我正在阅读一篇非常愚蠢的论文,并继续谈论乔托如何定义“形式语义”.

Giotto has a formal semantics that specifies the meaning of mode switches, of intertask communication, and of communication with the program environment.

我处于边缘,但却无法完全理解“形式语义”的含义.

最佳答案
Formal semantics描述语义 – 嗯,一种正式的方式 – 使用以明确的方式表达事物含义的符号.

它与非正式语义相反,它基本上只用简单的英语描述一切.这可能更容易阅读和理解,但它会产生误解的可能性,这可能导致错误,因为有人没有按照您打算阅读它的方式阅读段落.

编程语言可以同时具有正式和非正式语义 – 非正式语义可以作为形式语义的“纯文本”解释,如果你不确定什么是非正式的解释,那么正式的语义就是你要看的地方.真正意思.

转载注明原文:形式语义 – 什么是“形式语义”? - 代码日志