首页> 外文期刊>Journal of logic and computation >Multidimensional trees and a Chomsky-Schutzenberger-Weir representation theorem for simple context-free tree grammars
【24h】

Multidimensional trees and a Chomsky-Schutzenberger-Weir representation theorem for simple context-free tree grammars

机译:简单上下文无关树语法的多维树和Chomsky-Schutzenberger-Weir表示定理

获取原文
获取原文并翻译 | 示例
           

摘要

Weir [43] proved a Chomsky-Schutzenberger-like representation theorem for the string languages of tree-adjoining grammars, where the Dyck language D-n in the Chomsky-Schutzenberger characterization is replaced by the intersection D-2n a (c) aEuro parts per thousand g(-1)(D-2n), where g is a certain bijection on the alphabet consisting of 2n pairs of brackets. This article presents a generalization of this theorem to the string languages generated by simple (i.e. linear and non-deleting) context-free tree grammars. This result is obtained through a natural generalization of the original Chomsky-Schutzenberger theorem to the tree languages of simple context-free tree grammars. I use Baldwin and Strawn's [2] notion of multidimensional trees to state this latter theorem in a very general, abstract form.
机译:Weir [43]证明了与树相连的语法的字符串语言的类似于Chomsky-Schutzenberger的表示定理,其中Chomsky-Schutzenberger表征中的戴克语言Dn被交集D-2n a(c)aEuro千分之一代替g(-1)(D-2n),其中g是字母表上的某个双射,由2n对方括号组成。本文介绍了该定理对由简单(即线性和非删除)上下文无关树语法生成的字符串语言的概括。通过将原始的Chomsky-Schutzenberger定理自然地推广到简单的无上下文树语法的树语言中,可以获得此结果。我使用Baldwin和Strawn [2]的多维树概念以一种非常笼统的抽象形式陈述了后一个定理。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号