Lecture Notes

The notes are rather sparse and only include definitions and the like (and maybe some worked, tedious exercises). They are a good summary for later reference but are by no means a substitute for the actual lectures and/or textbook.

1. Introduction ( handout and overhead presentation) and Alphabets, strings, and languages ( handout and overhead presentation). Beside an overall introduction to the course these notes cover Chapter 7 of the textbook.
   
   
2. State transition diagrams ( handout and overhead presentation). The relevant textbook material is Chapter 8 except Section 8.5 (we will discuss this kind of specification and verification later in a slightly more general context).
   
   

3. Regular languages ( handout and overhead presentation), or regular expressions and state transition diagrams put together, plus generat properties of regular languages. The relevant textbook material is you guessed it, Chapter 9.

   As an example of using regular languages in practice the file scanner.l describes a complete lexical analyzer (or scanner) for a Java-like programming language. This is the input of Flex which generates C code that implements one big finite automaton (which in turn implements the actual lexical analysis). You will notice that the regular expressions that define the lexical structure of a programming language are not overly complicated, but on the other hand there are lots of them; the resulting finite automaton (that is used for the actual lexical analysis) is therefore quite large (several tens of states).
   
   

4. Context-free languages ( handout and overhead presentation). This section covers Chapter 10 from the textbook.
   
   

5. Parsing ( handout and overhead presentation). This section covers Chapter 11 from the textbook plus bottom-up parsing. Here is a realistic sample grammar together with its transformation into a grammar suitable for recursive descent parsing ( handout and overhead presentation).

   As an example of practical application of context-free languages, the file parser.y describes a complete parser for a Java-like language. This is the input of Yacc or its successor Bison which generate C/C++ code that implements the actual parsing.
   
   

6. Algorithm specification ( handout and overhead presentation), covering Chapter 1 from the textbook. While we will be spending much more time verifying rather than specifying properties, it is still important to be familiar with the various components of a specification and also able to write good specifications.
   
   
7. Algorithm verification ( handout and overhead presentation). This section covers Chapters 2 and 4 of the textbook.

Lecture Recording

Lectures are recorded as follows:

• Introduction: Lecture 1
• Alphabets, strings, and languages: Lecture 2, Lecture 3, first about 20 minutes of Lecture 4
• State transition diagrams: last about 55 minutes of Lecture 4, Lecture 5 (with a few minutes at the beginning not recorded), a motivating (and anticipatory) example at the very beginning of Lecture 6
• Regular expressions and state transition diagrams: Lecture 6, Lecture 7, Lecture 8, first about 23 minutes of Lecture 9
• Context-free languages: last about 45 minutes of Lecture 9, Lecture 10 (a few minutes at the beginning were not recorded), Lecture 11, Lecture 13
• Parsing: Lecture 15
• Software specification: Lecture 16
• Deductive verification: Lecture 17

Note: Lecture 12 did not happen (show day); lecture 14 was the mid-term examination.