Formal Languages and Linguistic Descriptions

形式语言和语言描述

• 批准号: 8617131
• 负责人: William Rounds
• 金额: $ 5.96万
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-07-01 至 1989-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8617131&HistoricalAwards=false
• 关键词: Formal; Languages; Linguistic; Descriptions

Abstract narrative After an initial burst of activity in the 1960s, when it was founded, the field of mathematical linguistics has been comparatively quiescent in the past decade or so. Nonetheless, a few researchers have kept active in the field, and have periodically produced results which have had a major impact on general concerns of linguistic theory, such as the demon- stration that the generative power of transformational grammars, without special constraints, is greater than supposed, and the proof of the basic learnability theorem. The Principal Investigator of this proposal is one of those researchers who have continued to explore the mathe- matical properties of grammatical systems. He is a leading authority on the theory of computational complexity as it applies to formal grammars and parsing systems. He has now formulated the outlines of a new approach to the formal des- cription of syntactic structures, which incorporates as key elements a novel notation which combines the expressions of first-order logic with the the expressions of conventional phrase-structure grammars, and a view of languages as families of finite approximations, in place of the conventional mathe- matical view of a language as an infinite set of finite strings. The aim of the project is to develop the investigator's approach into a formal system which can be used as a tool for linguistic description, and which can be studied for its mathematical properties in new and potentially revealing ways. The investigator is being assisted in this endeavor by a collaborator who is an accomplished descriptive and theoretical linguist. The project has the potential to make significant new contributions to linguistic theory and also to computational linguistics.

抽象叙事 在20世纪60年代的最初爆发之后， 数学语言学的研究领域， 在过去的十年里相对平静。 尽管如此， 一些研究人员一直活跃在该领域， 定期产生的成果，产生了重大影响， 语言学理论的普遍关注，如恶魔- 证明了变革的生成力 语法，如果没有特殊的约束，大于 假设，以及基本可学习性定理的证明。 这项建议的主要研究者是 那些继续探索数学的研究人员， 语法系统的数学特性。 他是个领导 计算复杂性理论的权威， 适用于形式语法和解析系统。 他现在已经 制定了一个新的方法的纲要，以正式的des- 句法结构的概念，其中包括作为关键 元素一种新颖的符号，它结合了 一阶逻辑与常规表达式 短语结构语法，以及将语言视为家族的观点 的有限近似，在传统的数学- 把语言看作是有限的集合的一种数学观点 字符串. 该项目的目的是开发研究人员的 一个正式的系统，可以作为一种工具， 语言描述，并可以研究其 数学性质的新的和潜在的揭示方式。 调查人员正在协助这一奋进， 合作者谁是一个有成就的描述和理论 语言学家 该项目有可能使重大的新的 对语言学理论和计算语言学的贡献 语言学