equal
deleted
inserted
replaced
1 // Thompson Construction (Part 2) |
1 // Thompson Construction (Part 2) |
2 |
2 |
3 // some more types abbreviations |
3 // some more type abbreviations |
4 type NFAtrans = (TState, Char) :=> Set[TState] |
4 type NFAtrans = (TState, Char) :=> Set[TState] |
5 type eNFAtrans = (TState, Option[Char]) :=> Set[TState] |
5 type eNFAtrans = (TState, Option[Char]) :=> Set[TState] |
6 |
6 |
7 |
7 |
8 // for composing an eNFA transition with a NFA transition |
8 // for composing an eNFA transition with a NFA transition |