摘要
Gerhart，S.L.，“保持正确性的程序转换”，Proc。 ACM-SIGACT POPL研讨会，1976年1月。 谷歌学者 
数字图书馆 
Joshi，A.K.和Levy，L.S.，“结构描述的约束：局部变换”，SIAM计算杂志，1977年6月。 谷歌学者 交叉引用 
Peters，S.和Ritchie，R.W.，“上下文敏感即时成分分析——重新审视无上下文语言”，Proc。 ACM交响乐团。 《计算理论》，1969年。 谷歌学者 数字图书馆 Earley，J.，“一种有效的无上下文解析算法”，CACM，1970年第13期。 谷歌学者 数字图书馆 Standish，T.A.等人，“欧文程序转换目录”，加州大学欧文分校信息与计算机科学系技术代表，1976年1月。 谷歌学者 Levy，L.S.和Joshi，A.K.，“骨骼结构描述”，提交出版，1977年。 谷歌学者 《形式语言》，学术出版社，纽约，1973年。 谷歌学者 数字图书馆
编程语言语法和语义中的局部约束
建议
自然语言的形式语法与演绎语法 认知信息学、认知计算及其命名数学基础（二） 本文提出了一个用于计算语言学的自然语言形式语法框架。 描述了自然语言（尤其是英语）的抽象语法及其形式化操作。 在抽象语法的基础上，提出了一种新的语法结构。。。 基于句法的机器翻译中局部和非局部单词重排序模式的泛化 EMNLP’08：自然语言处理经验方法会议记录 在句法上距离较远的语言对之间跨不同语法结构的翻译中，句法单词的重新排序至关重要。 在本文中，我们建议将本地和非本地单词重新排序决策嵌入到一个同步上下文无关的。。。
