renaming

egri-nagy · Sep 29, 2023 · 8752c14 · 8752c14
1 parent 7ffe0d4
commit 8752c14
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/experiments/TRANSDUCERS/automata.clj b/experiments/TRANSDUCERS/automata.clj
@@ -127,7 +127,7 @@
                 (difference (set (ordered-pairs stateset))
                             (set non-eqs)))))))
 
-(defn equivalence-classes
+(defn joined-states
   "Not reporting the singletons."
   [table]
   (let [;getting the pairs that are in non-trivial equivalence classes
@@ -196,5 +196,9 @@
      table
      pairs)))
 
-(equivalence-classes (minimize  HU))
-(equivalence-classes (minimize (transducer suffs)))
+(recode-transducer
+ [T joined]
+ )
+
+(joined-states (minimize  HU))
+(joined-states (minimize (transducer suffs)))