Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
sav07_homework_1 [2007/03/17 19:40] vkuncak |
sav07_homework_1 [2007/03/23 06:10] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== SAV07 Homework 1 ====== | ====== SAV07 Homework 1 ====== | ||
- | Here is the {{hw1.pdf|Homework 1 PDF}}. | + | 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/ ) | + | 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 |
- | * {{formulas.ml}} | + | when saving the file. |
- | * {{maps.ml}} | + | * {{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. | ||
- | [[SAV07 Homework 1 Solution]] will be available only after the due date. | ||