|
Course Description วิธีการพื้นฐานทางคณิตศาสตร์ เช่นวิธีการพิสูจน์ เซต และ ความสัมพันธ์ การเกิดขึ้น ของภาษาชนิดต่างๆ การอธิบายภาษา เช่น ภาษาแบบเรกูลาร์ ภาษาแบบไม่เรกูลาร์ เครื่องเชิงกาหนดเครื่องเชิงไม่กาหนด เครื่องจักรสถานะกาหนด การคานวณแบบเรียงลาดับ ออโตมาตาแบบกดลง เครื่องจักรทัวริง การคานวณได้ และการคานวณไม่ได้ ปัญหาแบบพี และ เอ็นพี Mathematical notation and techniques, such as proof techniques, set and relations, regular sets, regular and non-regular languages, deterministic and nondeterministic machine, finite automata machine, context-free languages and pushdown automata, turing machines, church-turing thesis, unsolvable problems and computable functions, halting problems, P and NP family problems |