[NOTES] [TUTORIALS aka LABS] [MIDTERM EXAMINATION] [FINAL EXAMINATION] [PROGRAMMING ASSIGNMENT] [WRITTEN ASSIGNMENTS]

COMP 272 - BRIEF OVERVIEW

COURSE DESCRIPTION

Throughout the course, we discuss a number of different models for languages, translations and computation. We attempt to motivate these models with applications. We discuss, explore and compare the expressive powers of the models.

COURSE TEXT

The course text is:
  • Theory of Computing: A Gentle Introduction by Efim Kinber and Carl Smith, Prentice-Hall, Inc., 2001.

    • OTHER USEFUL TEXTS

    There are a number of other useful texts:
  • Elements of the Theory of Computation by Harry R. Lewis and Christos H. Papadimitriou, Second Edition, Prentice-Hall, Inc., 1998.
  • The Theory of Parsing, Translation and Compiling, Volume I: Parsing by Alfred V. Aho and Jeffrey D. Ullmann, Addison-Wesley Publishing Company, 1972.
  • The Theory of Parsing, Translation and Compiling, Volume II: Compiling by Alfred V. Aho and Jeffrey D. Ullmann, Addison-Wesley Publishing Company, 1973.
  • Compilers: Principles, Techniques and Tools by Alfred V. Aho, Ravi Sethi and Jeffrey D. Ullmann, Addison-Wesley Publishing Company, 1988.
  • Introduction to Automata Theory, Languages and Computation by John E. Hopcroft and Jeffrey D. Ullmann, Addison-Wesley Publishing Company, 1979.
  • Languages and Machines: An Introduction to the Theory of Computer Science by Thomas A. Sudkamp, Addison-Wesley Publishing Company, 1988.
  • Theory of Computation by Derick Wood, John Wiley and Sons, 1987.

    • Academic Dishonesty

    Discussion of dishonesty.

    HKUST's Framework on Academic Integrity.

    ISO Standard C++

    We are using ISO standard C++ and the string class instead of C strings (or char arrays). The basic notions of the Standard and the string class. This is the PostScript version and this is the four-page PostScript version.

    Last updated by Derick Wood, 21/02/2005