自然语言的形式分析和计算机对自然语言的信息处理是当今时代比较热门的研究领域。以转换生成语法、范畴语法和类型论、λ-演算和时态逻辑等为工具分别对现代汉语的若干类NP短语中的领属定语、数量定语、时间定语3种类型作了较详细的形式语义分析,刻画了定语所表示的拥有领属关系、数量度量关系和时间先后长短关系,同时对不同种类的定语在句法范畴和语义类型的形式处理方面作了严格统一的处理,有助于汉语的计算机信息处理。