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.

Here is SAV07 Homework 1 Solution for the theoretical part.