afl-material: progs/app51.scala@1a23d87d1700 (annotated)

399 5c1fbb39c93e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 261 diff changeset	1	def OPT(r: Rexp) = ALT(r, ONE)
7 73cf4406b773 updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	2
261 24531cfaa36a updated handouts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	3	def NTIMES(r: Rexp, n: Int) : Rexp = n match {
399 5c1fbb39c93e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 261 diff changeset	4	case 0 => ONE
261 24531cfaa36a updated handouts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	5	case 1 => r
24531cfaa36a updated handouts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	6	case n => SEQ(r, NTIMES(r, n - 1))
24531cfaa36a updated handouts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	7	}
24531cfaa36a updated handouts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	8

author	Christian Urban <christian.urban@kcl.ac.uk>
	Mon, 20 Oct 2025 22:18:21 +0200
changeset 1013	1a23d87d1700
parent 399	5c1fbb39c93e
permissions	-rw-r--r--