COMP SCI 520 - INTRODUCTION TO THEORY OF COMPUTING