| changeset 491 | 7a0182c66403 |
| parent 488 | 057b4603b940 |
| child 623 | 8e63f9745f46 |
| 490:8a07f7256f2a | 491:7a0182c66403 |
|---|---|
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 = { |