Sipser's Text:  In General, next; click for Specific Comments

The focus of the quarter will be on various aspects of languages.  Each of the following classes of languages is increasingly more general.  There are languaguages which are not recursively enumerable.  There is a class, Turing-decidable, which lies between context-free and Turing-reconizable languages.


Specific Comments on Sipser's Text

Chapter 0      Chapter 1      Chapter 2      Chapter 3      Chapter 4      Chapter 7    

Chapter 0

Chapter 2

Chapter 3

Chapter 4

Chapter 7