progs/app03.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 03 Dec 2021 18:00:30 +0000
changeset 854 ce4a7bab6bd8
parent 400 e4afe3f46c29
permissions -rw-r--r--
testcases
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
288
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
abstract class Rexp
400
e4afe3f46c29 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 288
diff changeset
     2
case object ZERO extends Rexp
e4afe3f46c29 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 288
diff changeset
     3
case object ONE extends Rexp
288
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
case class CHAR(c: Char) extends Rexp
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
case class ALT(r1: Rexp, r2: Rexp) extends Rexp 
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp 
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
case class STAR(r: Rexp) extends Rexp 
39aeca14af8c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
case class REC(x: String, r: Rexp) extends Rexp