Grammatical characterizations of NPDAs and VPDAs with counters (Q1784750): Difference between revisions

@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q2754074
@@ Property / cites work: Q2754074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536602
@@ Property / cites work: Q4536602 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Nested Stack Automata
@@ Property / cites work: Nested Stack Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Linear indexed languages
@@ Property / cites work: Linear indexed languages / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of four extensions of context-free grammars
+Normal rank
@@ Property / cites work @@
+On finite-index indexed grammars and their restrictions
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation-bounded languages
@@ Property / cites work: Derivation-bounded languages / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890112
@@ Property / cites work: Q3890112 / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Automata and Transducers with Counters
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+Left-derivation bounded languages
@@ Property / cites work: Left-derivation bounded languages / rank @@
+Normal rank