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

@@ Property / author @@
-Derick Wood
@@ Property / author: Derick Wood / rank @@
-Normal rank
@@ Property / author @@
+Derick Wood
@@ Property / author: Derick Wood / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4055220