This is an old revision of the document!

SAV07 Homework 1

Here is the 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 ). Please remove the .txt extension when saving the file.

Note that you will need to use a slightly different syntax tree compared to one in, because the quantifiers in your homework are bounded.

See also Notes on Context-Free Grammars.

SAV07 Homework 1 Solution will be available only after the due date.