Intercalation lemmas for tree transducer languages
نویسندگان
چکیده
منابع مشابه
The Complexity of Tree Transducer Output Languages
Two complexity results are shown for the output languages generated by compositions of macro tree transducers. They are in NSPACE(n) and hence are context-sensitive, and the class is NP-complete.
متن کاملSwapping Lemmas for Regular and Context-Free Languages
In formal language theory, one of the most fundamental tools, known as pumping lemmas, is extremely useful for regular and context-free languages. However, there are natural properties for which the pumping lemmas are of little use. One of such examples concerns a notion of advice, which depends only on the size of an underlying input. A standard pumping lemma encounters difficulty in proving t...
متن کاملPumping lemmas for linear and nonlinear context-free languages
Pumping lemmas are created to prove that given languages are not belong to certain language classes. There are several known pumping lemmas for the whole class and some special classes of the context-free languages. In this paper we prove new, interesting pumping lemmas for special linear and context-free language classes. Some of them can be used to pump regular languages in two place simultan...
متن کاملSwapping Lemmas for Regular and Context-Free Languages with Advice
Chomsky studied regular languages and context-free languages to develop his theory of formal languages. These languages are generated by restricted forms of grammars and also characterized by finite-state automata. Karp and Lipton examined roles of supplemental information given besides original inputs, under the term of “advice,” which depends only on the size of the inputs. We study the power...
متن کاملIntercalation properties of context-free languages
Boonyavatana, Rattikorn, "Intercalation properties of context-free languages " (1986). Retrospective Theses and Dissertations. Paper 8142. While the most advanced technology has been used to photograph and reproduce this manuscript, the quality of the reproduction is heavily dependent upon the quality of the material submitted. For example: • Manuscript pages may have indistinct print. In such ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1976
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(76)80040-2