--- a/progs/enfa.scala	Thu Jul 25 14:39:37 2019 +0100
+++ b/progs/enfa.scala	Sun Jul 28 01:00:41 2019 +0100
@@ -2,7 +2,7 @@
 // (needs :load dfa.scala 
 //        :load nfa.scala in REPL)
 
-// fixpoint construction
+// a fixpoint construction
 import scala.annotation.tailrec
 @tailrec
 def fixpT[A](f: A => A, x: A): A = {
@@ -11,9 +11,9 @@
 }
 
 // translates eNFAs directly into NFAs 
-def eNFA[A, C](starts: Set[A],                     // starting states
-               delta: (A, Option[C]) :=> Set[A],   // epsilon-transitions
-               fins: A => Boolean) : NFA[A, C] = { // final states 
+def eNFA[A, C](starts: Set[A],                     // the starting states
+               delta: (A, Option[C]) :=> Set[A],   // the epsilon-transitions
+               fins: A => Boolean) : NFA[A, C] = { // the final states 
 
   // epsilon transitions
   def enext(q: A) : Set[A] =