COMP4141

Textbook(s)

Theory of Computation

Prescribed Textbook

M Sipser, Introduction to the Theory of Computation, any edition, Course Technology, 2013.

Further Reading and Alternatives

JE Hopcroft, R Motwani, JD Ullman, Automata Theory, Languages, and Computation, 3rd edition, Addison Wesley 2007.

M Huth, M Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004.

HR Lewis, CH Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, 1997.