Bag Context Tree Grammars

F. Drewes, S. Ewert, C. du Toit, J. Högberg, B. van der Merwe, A. van der Walt


Abstract

We introduce bag context, a device for regulated rewriting in tree and string grammars. Rather than being part of the developing tree or string, bag context (bc) evolves on its own during a derivation. We show that the class of bc tree languages is the closure of the class of random context tree languages under linear top-down tree transductions. Further, an interchange theorem for subtrees of dense trees in bc tree languages is established. This result implies that the class of bc tree languages is incomparable with the class of branching synchronization tree languages. Key words: regulated rewriting; tree languages; random context


Server START Conference Manager
Update Time 20 Feb 2006 at 20:05:03
Maintainer zdang@eecs.wsu.edu.
Start Conference Manager
Conference Systems