| changeset 491 | 7a0182c66403 |
| parent 488 | 057b4603b940 |
| 490:8a07f7256f2a | 491:7a0182c66403 |
|---|---|
1 // epsilon NFAs...immediately translated into NFAs |
1 // epsilon NFAs...immediately translated into NFAs |
2 // (needs nfa.scala) |
2 // (needs dfa.scala and nfa.scala) |
3 |
3 |
4 // fixpoint construction |
4 // fixpoint construction |
5 import scala.annotation.tailrec |
5 import scala.annotation.tailrec |
6 @tailrec |
6 @tailrec |
7 def fixpT[A](f: A => A, x: A): A = { |
7 def fixpT[A](f: A => A, x: A): A = { |