| changeset 753 | 30ea6b01db46 |
| parent 733 | 4d37ccc8c5be |
| child 779 | 1255b4dbe516 |
| 752:1f1a293549c1 | 753:30ea6b01db46 |
|---|---|
1 // epsilon NFAs...immediately translated into NFAs |
1 // epsilon NFAs...immediately translated into NFAs |
2 |
2 |
3 import $file.dfa, dfa._ |
3 import $file.dfa, dfa._ |
4 import $file.nfa, nfa._ |
4 import $file.nfa, nfa._ |
5 |
|
6 |
|
7 |
5 |
8 // a fixpoint construction |
6 // a fixpoint construction |
9 import scala.annotation.tailrec |
7 import scala.annotation.tailrec |
10 @tailrec |
8 @tailrec |
11 def fixpT[A](f: A => A, x: A): A = { |
9 def fixpT[A](f: A => A, x: A): A = { |