G.卡恩。 自然语义。 （英语） Zbl 0657.68079号 未来一代计算机编程。Fr.1日-日本。交响乐团。，东京/日本。1986, 237-258 (1988). [关于整个系列，请参见Zbl 0639.00038号.]本文以直观的方式并举例介绍了自然语义的基本思想。语义定义是公理和推理规则的列表；因此，它被识别为一种逻辑，用这种语言进行推理相当于证明该逻辑中的定理。计算（排字、口译、翻译）被视为解决某些方程的一种方法。呈现逻辑的一些特征和逻辑中的许多规则来自自然演绎。在NS中，这些定义是以证明理论的方式出现的，因此可以与无上下文语法的传统使用紧密联系。给出了Mini-ML语言在NS中的语义规范。Cousineau和Curien的范畴抽象机（CAM）也在NS中指定，然后在NS中定义Mini-ML到CAM的转换。最后，给出了Mini-ML的NS类型规则。审核人：H.卢锡安 引用于13文件 MSC公司： 68问题55 计算理论中的语义学 68吨15 定理证明（演绎、解析等）（MSC2010） 68问题65 抽象数据类型；代数规范 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：自然语义学;语义规范;Mini-ML语言 引文：Zbl 0639.00038号 软件：迷你-ML PDF格式BibTeX公司 XML格式