A direct algorithm for checking equivalence of LL(k) grammars (Q1238431): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(77)90016-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2023090947
@@ Property / OpenAlex ID: W2023090947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+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 @@
+Optimality of a Two-Phase Strategy for Routing in Interconnection Networks
+Normal rank
@@ Property / cites work @@
+Decidable Properties of Monadic Functional Schemas
+Normal rank
@@ Property / cites work @@
+Functional schemas with nested predicates
@@ Property / cites work: Functional schemas with nested predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Simple program schemes and formal languages
@@ Property / cites work: Simple program schemes and formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146243
@@ Property / cites work: Q4146243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766003
@@ Property / cites work: Q4766003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization of LR(k) parsers
@@ Property / cites work: Optimization of LR(k) parsers / rank @@
+Normal rank
@@ Property / cites work @@
+A direct algorithm for checking equivalence of LL(k) grammars
+Normal rank
@@ Property / cites work @@
+Completeness results for the equivalence of recursive schemas
+Normal rank