应用递归与名义许可

具有应用形态学的语言在其应用参数是否可以堆叠或“递归”方面各不相同。主要关注班图语言，我认为给定语言中应用递归的可用性取决于抽象的名义许可，特别是负责引入应用参数的应用头是否是名义许可者。因此，应用递归为抽象名义许可的存在提供了一种新的诊断方法，认为抽象名义许可不是由Case驱动的，而是由φ-特征检查驱动的。所提出的应用递归方法为班图语言中抽象许可的作用提供了证据，并对双对象对称方法以及因果关系中的递归方法具有启示。