Pages that link to "Item:Q1222965"

The following pages link to On derivation trees of indexed grammars - an extension of the uvwxy- theorem (Q1222965):

Displaying 24 items.

• A shrinking lemma for indexed languages (Q671370) (← links)
• A new pumping lemma for indexed languages, with an application to infinite words (Q729820) (← links)
• On the structure of graphs in the Caucal hierarchy (Q930912) (← links)
• Grammars, derivation modes and properties of indexed and type-0 languages (Q1098316) (← links)
• One-way weak-stack-counter automata (Q1137874) (← links)
• Complexity in left-associative grammar (Q1202927) (← links)
• Intercalation lemmas for tree transducer languages (Q1237574) (← links)
• Augmented transition networks and their relation to tree transducers (Q1238432) (← links)
• Classes of formal grammars (Q1248342) (← links)
• Pumping lemmas for term languages (Q1250713) (← links)
• Decidability of the finiteness of ranges of tree transductions (Q1271464) (← links)
• On two-way tree automata (Q1327293) (← links)
• Counting with range concatenation grammars (Q1870577) (← links)
• Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy (Q2177476) (← links)
• Word-mappings of level 2 (Q2441544) (← links)
• Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
• An Approach to Computing Downward Closures (Q3449495) (← links)
• COMBING NILPOTENT AND POLYCYCLIC GROUPS (Q4513294) (← links)
• Applications of L systems to group theory (Q4634925) (← links)
• Three hierarchies of transducers (Q4747534) (← links)
• Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered (Q5090949) (← links)
• (Q5119391) (← links)
• The computational power of parsing expression grammars (Q5915559) (← links)
• MULTIPLICATION TABLES AND WORD-HYPERBOLICITY IN FREE PRODUCTS OF SEMIGROUPS, MONOIDS AND GROUPS (Q6065367) (← links)