equal
deleted
inserted
replaced
381 NFA(nfa_starts, nfa_delta, nfa_fins) |
381 NFA(nfa_starts, nfa_delta, nfa_fins) |
382 } |
382 } |
383 |
383 |
384 */ |
384 */ |
385 |
385 |
386 // Regular expressions fro derivative automata |
386 // Regular expressions for derivative automata |
387 |
387 |
388 abstract class Rexp |
388 abstract class Rexp |
389 case object ZERO extends Rexp |
389 case object ZERO extends Rexp |
390 case object ONE extends Rexp |
390 case object ONE extends Rexp |
391 case class CHAR(c: Char) extends Rexp |
391 case class CHAR(c: Char) extends Rexp |