Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav07_homework_1 [2007/03/18 17:14] vkuncak |
sav07_homework_1 [2007/03/18 17:16] 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/ ). Please remove the .txt extension | 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 | ||
| Line 7: | Line 7: | ||
| * {{formulas.ml.txt}} | * {{formulas.ml.txt}} | ||
| * {{maps.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]]. | See also [[Notes on Context-Free Grammars]]. | ||