ทฤษฏีคอมพิวเตชั่น CT313
Original form MODULE P220
Theory of Computation 2001
http://web.cs.city.ac.uk
Recommended Textbooks
Cohen, Daniel I. Introduction
to Computer Theory (2nd Ed), Wiley 1997
ISBN 0-471-13772-3
Lewis, Harry R. and Papadimitrou,
Christos H., Elements of the Theory of Computation (2nd Ed.), Prentice-Hall
International, 1998
ISBN 0-13-272741-2
Further Reading
Hopcroft, J. E. and Ullman, J.
D., Introduction to Automata Theory, Languages and Computation, Addison
Wesley, 1979
ISBN 0-201-02988-X
Previous examination papers
The contents of this course has changed slightly over the years, mainly as concerns
the construction of the primitive recursive functions and the treatment of computational
complexity. So previous examination papers do not provide a very accurate guide
to future ones. With that proviso, here are a few :
word
document 1998
(in
pdf)
word
document 1999
(in
pdf)
word
document 2000 (in
pdf)
Contents |
||
|
Week |
Topic |
|
|
1 |
||
|
2 |
||
|
3 |
||
|
4 |
||
|
5 |
Push Down Automata and the Pumping Lemma for Context Free Languages |
|
|
6 |
||
|
7 |
||
|
8 |
||
|
9 |
||
|
10 |
The Halting Problem: Are there any non-computable functions? |
|
If you have comments or
suggestions, email to author at b.cohen@city.ac.uk
or me Vid-Com-Ram
/ members.tripod.com/bummerang
หมายเหตุ : เอกสารเวปหน้านี้นำมาจากมหาวิทยาลัยแห่งหนึ่งในประเทศอังกฤษ
เป็นหลักสูตรคล้ายคลึงกับ CT313 นำมาเพื่อเป็นเอกสารเปรียบเทียบและอ้างอิง มิได้หวังผลประโยชน์ใดๆ
และขอบอกว่าเค้ามีลิขสิทธิ์นะ