Algoritma Kuramı (COMP512)
Automata, diller, karmaşıklık, hesaplanabilirlik. Sonlu otomata, 2 kafalı sonlu otomata, itme otomatı, Turing makinesi. Chomsky hiyerarşi. Zaman karmaşıklığı: sınıf P, NP, NP tamlığı, NP tam problemleri. Uzay karmaşıklığı: Savitch teoremi, sınıf PSPACE. Hiyerarşi teoremleri ve devre karmaşıklığı.