COMP4141 |
## Textbook(s) |
Theory of Computation |

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.