| changeset 491 | d5776c6018f0 |
| parent 488 | 598741d39d21 |
| child 623 | 47a299e7010f |
| 490:4fee50f38305 | 491:d5776c6018f0 |
|---|---|
1 // epsilon NFAs...immediately translated into NFAs |
1 // epsilon NFAs...immediately translated into NFAs |
2 // (needs :load nfa.scala in REPL) |
2 // (needs :load dfa.scala |
3 // :load nfa.scala in REPL) |
|
3 |
4 |
4 // fixpoint construction |
5 // fixpoint construction |
5 import scala.annotation.tailrec |
6 import scala.annotation.tailrec |
6 @tailrec |
7 @tailrec |
7 def fixpT[A](f: A => A, x: A): A = { |
8 def fixpT[A](f: A => A, x: A): A = { |