Pushdown automata and constant height: decidability and bounds (Q6042073): Difference between revisions

@@ Property / cites work @@
+Q3692869
@@ Property / cites work: Q3692869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Two double-exponential gaps for automata with a limited pushdown
+Normal rank
@@ Property / cites work @@
+Removing nondeterminism in constant height pushdown automata
+Normal rank
@@ Property / cites work @@
+Boolean language operations on nondeterministic automata with a pushdown of constant height
+Normal rank
@@ Property / cites work @@
+New Results on the Minimum Amount of Useful Space
@@ Property / cites work: New Results on the Minimum Amount of Useful Space / rank @@
+Normal rank
@@ Property / cites work @@
+A note on phrase structure grammars
@@ Property / cites work: A note on phrase structure grammars / rank @@
+Normal rank
@@ Property / cites work @@
+More concise representation of regular languages by automata and regular expressions
+Normal rank
@@ Property / cites work @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Self-Embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata
+Normal rank
@@ Property / cites work @@
+Q5583856
@@ Property / cites work: Q5583856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5178456
@@ Property / cites work: Q5178456 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Simulations between Unary Automata
@@ Property / cites work: Optimal Simulations between Unary Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Unary context-free grammars and pushdown automata, descriptional complexity and auxiliary space lower bounds.
+Normal rank
@@ Property / cites work @@
+On Non-Computable Functions
@@ Property / cites work: On Non-Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A regularity test for pushdown machines
@@ Property / cites work: A regularity test for pushdown machines / rank @@
+Normal rank