--- a/progs/dfa.scala	Mon Apr 03 01:10:54 2017 +0800
+++ b/progs/dfa.scala	Tue Apr 11 06:22:46 2017 +0800
@@ -4,9 +4,9 @@
 // type abbreviation for partial functions
 type :=>[A, B] = PartialFunction[A, B]
 
-case class DFA[A, C](start: A,                // starting state
-                     delta: (A, C) :=> A,     // transition partial fun
-                     fins:  A => Boolean) {   // final states
+case class DFA[A, C](start: A,               // starting state
+                     delta: (A, C) :=> A,    // transition (partial fun)
+                     fins:  A => Boolean) {  // final states
 
   def deltas(q: A, s: List[C]) : A = s match {
     case Nil => q