ภาควิชา/สาขาวิชา

คณะวิทยาศาสตร์

ออโตมาตาจำกัดและภาษาปกติ ออโตมาตาแบบกดลงและภาษาที่ไม่ขึ้นกับบริบท เครื่องทัวริงและ กลุ่มที่สามารถนับได้แบบเวียนบังเกิด ออโตมาตาที่มีขอบเขตเชิงเส้นและภาษาที่ไวต่อบริบท ปัญหาของความสามารถในการคำนวณและการหยุด ปัญหาที่ตัดสินไม่ได้ ฟังก์ชันแบบเวียนบังเกิด ลำดับขั้นของชอมสกี ความซับซ้อนเชิงคำนวณ

Finite automata and regular languages, pushdown automata and context-free languages,Turing machines and recursively enumerable sets, linear-bounded automata and contextsensitive
languages, computability and halting problems, undecidable problems, recursive functions, Chomsky hierarchy, computational complexity.