Exercises

Mandatory exercises

• Exercise 1: bootstrapping a compiler with a throw-away interpreter.
• Exercise 3: playing with grammars and languages
• Exercise 6: constructing a few abstract-syntax trees
• Exercise 7: writing a few regular expressions
• Exercise 8: constructing a few proof trees
• Exercise 9: finding the root of proof trees
• Exercise 15: the four causes of compilation in Computer Science

Like last week, feel free to draw your solutions with a pencil, take low-resolution snapshots of them, and include these snapshots in your report.

Recommended exercises

None this week.

Exercise 15

Write down as many as you like of the four causes of compilation in Computer Science, in the order of your choosing:

• material cause
• efficient cause
• formal cause
• final cause

How does your solution compare with the four causes of a compiler?

Exercise 16

Write down as many as you like of the four causes of interpretation in Computer Science, in the order of your choosing:

• material cause
• efficient cause
• formal cause
• final cause

How does your solution compare with the four causes of an interpreter?

Version

Added the practical suggestion about drawing one’s solutions with a pencil, etc. [26 Jan 2020]

Streamlined [24 Jan 2020]

Created [21 Jan 2019]