Two decidability results for deterministic pushdown automata (Q1254241): Difference between revisions

@@ Property / author @@
-Matti Linna
@@ Property / author: Matti Linna / rank @@
-Normal rank
@@ Property / author @@
+Matti Linna
@@ Property / author: Matti Linna / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(79)90055-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2041168146
@@ Property / OpenAlex ID: W2041168146 / rank @@
+Normal rank
@@ Property / cites work @@
+The inclusion problem for simple languages
@@ Property / cites work: The inclusion problem for simple languages / rank @@
+Normal rank
@@ Property / cites work @@
+Strict deterministic grammars
@@ Property / cites work: Strict deterministic grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4093017
@@ Property / cites work: Q4093017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal translations and Szilard languages
@@ Property / cites work: Formal translations and Szilard languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124341
@@ Property / cites work: Q4124341 / rank @@
+Normal rank
@@ Property / cites work @@
+Associate languages and derivational complexity of formal grammars and languages
+Normal rank
@@ Property / cites work @@
+On derivation languages corresponding to context-free grammars
+Normal rank
@@ Property / cites work @@
+Properties of deterministic top-down grammars
@@ Property / cites work: Properties of deterministic top-down grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A result on the equivalence problem for deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+Q4109594
@@ Property / cites work: Q4109594 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1254241