[mmzk] (feat) 2014 Part 1

MMZK1526 · Dec 6, 2023 · e572598 · e572598
1 parent 1ca9f9c
commit e572598
Showing 1 changed file with 15 additions and 4 deletions.
diff --git a/src/Year2014/Exam.hs b/src/Year2014/Exam.hs
@@ -52,12 +52,23 @@ showRE' re
 
 lookUp :: Eq a => a -> [(a, b)] -> b
 --Pre: There is exactly one occurrence of the item being looked up.
-lookUp 
-  = undefined
+lookUp x ((x',y):xys)
+  | x == x'   = y
+  | otherwise = lookUp x xys
 
 simplify :: RE -> RE
-simplify
-  = undefined
+simplify (Seq re re')
+  = Seq (simplify re) (simplify re')
+simplify (Alt re re')
+  = Alt (simplify re) (simplify re')
+simplify (Rep re)
+  = Rep (simplify re)
+simplify (Plus re)
+  = Seq (simplify re) (Rep (simplify re))
+simplify (Opt re)
+  = Alt (simplify re) Null
+simplify re
+  = re
 
 --------------------------------------------------------
 -- Part II