test Pasti et al.'s modified Bar-Hillel construction

breandan · Oct 1, 2023 · 94a660a · 94a660a
1 parent fecf725
commit 94a660a
Show file tree

Hide file tree

Showing 4 changed files with 645 additions and 4 deletions.
diff --git a/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/Normalization.kt b/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/Normalization.kt
@@ -36,9 +36,9 @@ fun CFG.normalize(): CFG =
   }
 
 fun CFG.transformIntoCNF(): CFG =
-  addEpsilonProduction()
-    .refactorEpsilonProds()
-    .elimVarUnitProds()
+//  addEpsilonProduction()
+//    .refactorEpsilonProds()
+    elimVarUnitProds()
     .refactorRHS()
     .terminalsToUnitProds()
     .removeUselessSymbols()

diff --git a/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt b/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt
@@ -21,7 +21,7 @@ class PTree(val root: String = "ε", val branches: List<Π2A<PTree>> = listOf())
 // Lazily computes all syntactically strings compatible with the given template
 fun CFG.solveSeq(s: String): Sequence<String> =
     initPForestMat(s.tokenizeByWhitespace()).seekFixpoint()
-      .diagonals.last()[0][START_SYMBOL]?.choose() ?: emptySequence()
+      .diagonals.last()[0][START_SYMBOL]?.choose()?.distinct() ?: emptySequence()
 
 fun CFG.initPForestMat(tokens: List<String>): UTMatrix<PForest> =
   UTMatrix(