Our next meeting

Our next meeting will take place February 20 (Tuesday) 10:15.

We will discuss the S-m-n Theorem (Theorem 7.4.9). We may also discuss Section 7.5 (the proof of Kleene Normal Form Theorem).

We may discuss the exercises in Sec. 7.4.1 and 7.5.1.

If time permits, I will tell you a little bit about what you will find in Section 7.6. A link to the meeting will very soon be published at this website.