Some remarks on the KH algorithm fors-grammars (Q4055220): Difference between revisions

@@ Property / cites work @@
+Q5181346
@@ Property / cites work: Q5181346 / rank @@
+Normal rank
@@ Property / cites work @@
+A Procedure for Checking Equality of Regular Expressions
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalised normal form theorem for context-free grammars
+Normal rank
@@ Property / cites work @@
+A further note on top-down deterministic languages
+Normal rank
@@ Property / cites work @@
+A factor theorem for subsets of a free monoid
@@ Property / cites work: A factor theorem for subsets of a free monoid / rank @@
+Normal rank