Differences

This shows you the differences between two versions of the page.

--- sav07_homework_1 [2007/03/17 17:56]
vkuncak created
+++ sav07_homework_1 [2007/03/23 06:10]
vkuncak
@@ Line 1: / Line 1: @@
-Solutions will be available only after the due date.
+====== SAV07 Homework 1 ======
+Here is the {{hw1.pdf|Homework 1 PDF}} (with some corrected typos).
+Here are some example ocaml programs that may help you get started with using ocaml (but see also http://caml.inria.fr/ ).  Please remove the .txt extension
+when saving the file.
+  * {{formulas.ml.txt}}
+  * {{maps.ml.txt}}
+Note that you will need to use a slightly different syntax tree compared to one in formulas.ml, because the quantifiers in your homework are bounded.
+See also [[Notes on Context-Free Grammars]].
+Here is [[SAV07 Homework 1 Solution]] for the theoretical part.