纳尔逊·科雷亚 属性和统一语法：形式主义的回顾和分析。 （英语） 兹比尔0998.68552 安。数学。Artif公司。智力。 8，编号1-2，73-105（1993）. MSC公司： 68T50型 自然语言处理 65年第68季度 形式语言和自动机 03B65号 自然语言逻辑 软件：阻塞 PDF格式BibTeX公司 XML格式引用 \textit{N.Correa}，Ann.数学。Artif公司。智力。8，编号1--2，73-105（1993；Zbl 0998.68552） 全文： 内政部 参考文献： [1] R.Berwick，基于原理的解析，麻省理工学院人工智能备忘录972（修订版），麻省理工学院，剑桥，马萨诸塞州（1988年）。 [2] J.Bresnan和R.Kaplan，《词汇功能语法：语法表征的形式系统》，载于《语法关系的心理表征》，J.Bressnan（麻省理工学院出版社，马萨诸塞州剑桥，1982）第173-281页。 [3] G.Bochmann，从左到右的语义评估，Commun。ACM，19（1976）55–62·Zbl 0317.68020号 ·doi:10.1145/3599997.359999 [4] B.卡彭特，范畴语法和具有词汇规则的头部驱动短语结构语法的生成能力。公司。《语言学》17（1991）301-313。 [5] J.Carroll、B.Boguraev、C.Grover和T.Briscoe，大型自然语言语法的开发环境，报告编号TR-127，剑桥大学计算机实验室（1988）。 [6] L.Chirica和D.Martin，Knuthian语义的序代数定义，数学。系统。理论13（1979）1-27·doi:10.1007/BF01744285 [7] N.Chomsky，《句法理论方面》（麻省理工学院出版社，马萨诸塞州剑桥，1965年）。 [8] N.Chomsky，《关于名词化的评论》，《英语转换语法阅读》，R.Jacobs和P.Rosenbaum编辑（马萨诸塞州沃尔瑟姆，1970年）。 [9] N.Chomsky，《政府与约束讲座》（Foris，Dordrecht，1981年）。 [10] N.Chomsky，《语言知识》（Praeger，纽约，1986年）。 [11] K.W.Church和R.Patil，《应对句法歧义：或如何将块放入表上的框中》，Amer。J.公司。语言学8（1982）139–149。 [12] N.Correa，政府绑定理论的属性语法实现，Proc。ACL第25届年会，加利福尼亚州斯坦福大学（1987年）。 [13] N.Correa，《关于政府绑定语法的英语句法分析》，纽约州锡拉丘兹市锡拉丘斯大学电气与计算机工程系博士论文，（1988年）。 [14] N.Correa，Earley算法对s和L属性文法的扩展，Proc。马来西亚槟城塞恩斯马来西亚大学计算语言学当前问题国际会议（1991年）。 [15] P.Deransart和J.Maluszynski，《关系逻辑程序和属性文法》，J.logic。程序。2(1985)119–155. ·Zbl 0586.68073号 ·doi:10.1016/0743-1066（85）90015-9 [16] J.Earley，一种高效的无上下文解析算法，Commun。ACM 13（1970）94–102·Zbl 0185.43401号 ·数字对象标识代码：10.1145/362007.362035 [17] G.Gazdar、E.Klein、G.Pullum和I.Sag，《广义短语结构语法》（哈佛大学出版社，马萨诸塞州剑桥，1985年）。 [18] J.A.Goguen、J.W.Thatcher、E.Wagner和J.Wright，《初始代数语义和连续代数》，J.ACM 24（1977）68–95·Zbl 0359.68018号 ·数字对象标识代码：10.1145/321992.321997 [19] J.A.Goguen、J.W.Thatcher、E.Wagner和J.Wright，《抽象数据类型规范、正确性和实现的初始代数方法》，载于：《程序设计方法学的当前趋势》，第4卷，R.Yeh编，（普伦蒂斯·霍尔、恩格伍德·克利夫斯，新泽西州，1978年）。 [20] G.Heidorn，增广短语结构语法，载于：自然语言处理中的理论问题，B.L.Webber和R.Schank主编，ACL（1975）。 [21] M.Jazayeri、W.Odgen和W.C.Rounds，属性文法循环问题的固有指数复杂性，Commun。ACM 18（1975）697–706·兹伯利0318.68051 ·数字对象标识代码：10.1145/361227.361231 [22] M.Johnson，语言知识的使用，Proc。第26届ACL年会，纽约州布法罗市纽约州立大学布法罗分校（1988年）。 [23] R.Kaplan和A.Zaenen，《长距离依赖、成分结构和功能不确定性：短语结构的替代概念》，M.Baltin和A.Kroch主编（芝加哥大学出版社，芝加哥，1987年）。 [24] R.Kasper和W.C.Rouds，《特征结构的逻辑语义》，Proc。纽约哥伦比亚大学ACL第24届年会（1986年），第257-265页。 [25] U.Kastens，有序属性语法，Acta Inf.13（1980）229-256·doi:10.1007/BF00288644 [26] U.Kastens、B.Hutt和E.Zimmermann，《GAG：实用编译器生成器》，LNCS 141（柏林斯普林格出版社，1982年）·Zbl 0492.68004号 [27] L.Karttunen，特性和价值，Proc。第十届计算语言学国际会议，斯坦福大学，加利福尼亚州斯坦福（1984）。 [28] M.Kay，《功能统一语法中的句法分析》，载：《自然语言句法分析》，D.Dowty、L.Kartunen和A.Zwicky编辑（剑桥大学出版社，剑桥，1985年）。 [29] D.Knuth，无上下文语言的语义，数学。系统。理论2（1968）127-145·Zbl 0169.01401号 ·doi:10.1007/BF01692511 [30] F.Pereira和D.H.Warren，解析为演绎，Proc。ACL第21届年会，马萨诸塞州剑桥（1983），第137-144页。 [31] F.Pereira和S.Shieber，被视为计算机语言的语法形式的语义，Proc。第十届计算语言学国际会议，斯坦福大学，加利福尼亚州斯坦福（1984），第123–129页。 [32] C.Pollard和I.Sag，《基于信息的语法和语义》，第1卷——基础，CSLI课堂讲稿，第13卷（芝加哥大学出版社，1987年）。 [33] S.Shieber，《基于统一的语法方法导论》，CSLI第4号讲稿，加州斯坦福（1986）。 [34] J.Siekmann，统一理论，FB Informatik，德国凯泽斯劳滕大学（1987）。 [35] G.Smolka和H.Ait-Kaci，《继承层次：语义和统一》，MCC技术报告编号AI-057-87，德克萨斯州奥斯汀（1987）。 [36] G.Smolka、W.Nutt、J.Goguen和J.Meseguer，有序方程计算，SEKI报告编号SR-87-14，FB Informatik，凯泽斯劳滕大学，德国凯泽斯劳滕（1987）。 [37] E.Stabler，《语法的逻辑方法：政府和约束理论的基础规范和实现》（麻省理工学院出版社，马萨诸塞州剑桥，1991年）·Zbl 0799.68154号 [38] J.Stoy，《指称语义学：编程语言理论的Scott-Strachey方法》（麻省理工学院出版社，马萨诸塞州剑桥，1977年）·Zbl 0503.68059号 [39] M.Tomita，一种高效的增强上下文无关解析算法，Comp。《语言学》13（1987）31–46。 [40] W.Waite和G.Goos，《编译器构造》（Springer，纽约，1984年）·Zbl 0527.68003号 [41] 威廉姆斯，论元结构与形态，《语言学评论》，第1期（1981年）。 [42] D.Yellin，广义属性分析，手稿，IBM Research，约克敦高地，纽约（1988）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。