From bc764fabc481abd2651890c97b0a308d5d55eea0 Mon Sep 17 00:00:00 2001 From: Attila Egri-Nagy Date: Fri, 29 Sep 2023 10:07:25 +0900 Subject: [PATCH] that's the correct one --- experiments/TRANSDUCERS/automata.clj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experiments/TRANSDUCERS/automata.clj b/experiments/TRANSDUCERS/automata.clj index 60a7b5f..b9be20f 100644 --- a/experiments/TRANSDUCERS/automata.clj +++ b/experiments/TRANSDUCERS/automata.clj @@ -195,4 +195,4 @@ table pairs))) -(equivalence-classes (minimize (transducer HU))) +(equivalence-classes (minimize HU))