Iterated linear control and iterated one-turn pushdowns (Q3776663): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Attribute grammars and recursive program schemes. I. II
+Normal rank
@@ Property / cites work @@
+On the equivalence problem for attribute systems
@@ Property / cites work: On the equivalence problem for attribute systems / rank @@
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3948612
@@ Property / cites work: Q3948612 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear indexed languages
@@ Property / cites work: Linear indexed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711773
@@ Property / cites work: Q3711773 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree transducers, L systems, and two-way machines
@@ Property / cites work: Tree transducers, L systems, and two-way machines / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. I
@@ Property / cites work: IO and OI. I / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded nesting in macro grammars
@@ Property / cites work: Bounded nesting in macro grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown machines for the macro tree transducer
@@ Property / cites work: Pushdown machines for the macro tree transducer / rank @@
+Normal rank
@@ Property / cites work @@
+Full AFLs and nested iterated substitution
@@ Property / cites work: Full AFLs and nested iterated substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Control sets on context-free grammar forms
@@ Property / cites work: Control sets on context-free grammar forms / rank @@
+Normal rank
@@ Property / cites work @@
+One way finite visit automata
@@ Property / cites work: One way finite visit automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4089754
@@ Property / cites work: Q4089754 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-Turn Pushdown Automata
@@ Property / cites work: Finite-Turn Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Control sets on grammars
@@ Property / cites work: Control sets on grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy between context-free and context-sensitive languages
+Normal rank
@@ Property / cites work @@
+A geometric hierarchy of languages
@@ Property / cites work: A geometric hierarchy of languages / rank @@
+Normal rank
@@ Property / cites work @@
+Control sets on linear grammars
@@ Property / cites work: Control sets on linear grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162498
@@ Property / cites work: Q4162498 / rank @@
+Normal rank
@@ Property / cites work @@
+Programmed Grammars and Classes of Formal Languages
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+Some definitional suggestions for automata theory
@@ Property / cites work: Some definitional suggestions for automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3732976
@@ Property / cites work: Q3732976 / rank @@
+Normal rank