×

键入语法作为预分组。 (英语) Zbl 1007.03031号

类型文法通常基于剩余幺半群的概念。在本文中,作者提出了另一种类型语法的解释,其中使用了预组的概念。从基本类型的偏序集(a{leq})开始,构造简单类型和复合类型,后者是简单类型的字符串。像英语这样的自然语言的词汇是通过为其单词和词素指定复合类型来构建的。类型为\(z\)的字符串是一个句子(类型\(s\))if\(z\leq-s\)。第2节中定义的英语小片段适用于以下各节中的各种语法结构,如否定句和疑问句。第9节和第10节表明,用于英语片段的前组不能被视为由一组基本类型自由生成,因为除此之外,还必须引入所谓的约简规则,这些规则不尊重基本类型上的基本偏序。因此,语法并不完全包含在词典中。因此,语法规则并没有隐含在词典中。

MSC公司:

03B65号 自然语言逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部