Finite Automata and Regular Sets o

Finite Automata and Regular Sets
o Formal definitions of automata, regular expressions and
equivalence with automata
o Regular languages and its properties
o Finite Automata (FA) with output and applications
o Non-deterministic FA and their equivalence to deterministic FA
o Minimal state of Deterministic FA
o Pumping Lemma of regular languages
Pushdown Automata (PA)
o Formal definition of pushdown automata and equivalence with
context-free grammars (CFG)
o Context-free languages and its properties
o Equivalence of PA and CFG
o Pumping Lemma of context-free languages
Turing Machines
o Formal definition of a Turing machine
o Various models of TM’s and their equivalence
o Recursively Enumerable Languages
o Encoding of Turing Machines
Decidability, Reducibility, and Undecidability
o The Halting problem
o Mapping reducibility
o Undecidability problems in language models
Time Complexity of Turing Machine Computations
o The classes P and NP
o NP-Completeness and the Cook-Levin theorem

ผลลัพธ์ (ไทย) 1:

ออโตมาตาจำกัดและชุดปกติ o นิยามอย่างเป็นทางการของโกเบ นิพจน์ทั่วไป และ เทียบเท่ากับออโตมาตา o ภาษาทั่วไปและคุณสมบัติ โอออโตมาตาจำกัด (FA) กับผลผลิตและการใช้งาน o ไม่ใช่ deterministic FA และของเทียบเท่ากับ deterministic FA o รัฐ Deterministic FA ที่น้อยที่สุด o จับมือ Pumping ภาษาปกติออโตมาตา pushdown (PA) o ข้อกำหนดของโกเบ pushdown และเทียบเท่ากับ grammars ปราศจากบริบท (CFG) o ฟรีเนื้อหาภาษาและคุณสมบัติ o เทียบเท่า PA และ CFG o จับมือ Pumping ปราศจากบริบทภาษาเครื่องจักรทัวริง o ข้อกำหนดของเครื่องจักรทัวริง o รุ่นต่าง ๆ ของ TM และเทียบเท่าของพวกเขา o Recursively ภาษาไม่ o การเข้ารหัสของเครื่องจักรทัวริงDecidability, Reducibility และ Undecidability ปัญหาการยุติการทำงาน o o reducibility การแม็ป o Undecidability ปัญหาในรูปแบบภาษาเวลาความซับซ้อนของการประมวลผลเครื่องจักรทัวริง o คลาส P และ NP o ความสมบูรณ์ NP และทฤษฎีบทคุก Levin

ผลลัพธ์ (ไทย) 2:

ออโต จำกัด และปกติชุด
o คำจำกัดความอย่างเป็นทางการของออโตแสดงออกปกติและ
ความเท่าเทียมกันกับออโต
o ภาษาปกติและคุณสมบัติของ
o ออโต จำกัด (เอฟเอ) กับการส่งออกและการใช้งาน
o ไม่กำหนดเอฟเอและความเท่าเทียมกันของพวกเขาเพื่อกำหนดเอฟเอคั
o รัฐน้อยที่สุดตายตัวเอฟเอ
o สูบน้ำแทรกภาษาปกติ
Pushdown ออโต (PA)
o ความหมายอย่างเป็นทางการของออโตแบบขยายลงและความเท่าเทียมกันกับ
ไวยากรณ์บริบทฟรี (ซีเอฟจี)
o บริบทภาษาฟรีและคุณสมบัติของ
o สมดุลของป่าและซีเอฟจี
o สูบน้ำแทรกภาษาบริบทฟรี
ทัวริง เครื่อง
o ความหมายอย่างเป็นทางการของเครื่องทัวริง
o รูปแบบต่างๆของ TM และความเท่าเทียมกันของพวกเขา
o ซ้ำนับภาษา
o การเข้ารหัสของทัวริงเครื่อง
decidability, reducibility และ Undecidability
o ปัญหาลังเล
o แมป reducibility
o ปัญหา Undecidability ในรูปแบบภาษา
เวลาความซับซ้อนของทัวริงเครื่องคำนวณ
o การเรียน P และ NP
NP-o ความสมบูรณ์และทฤษฎีบทคุกเลวิน

ผลลัพธ์ (ไทย) 3:

ออโตมาตาจำกัด และชุดปกติ

o อย่างเป็นทางการคำนิยามของออโตมาตา การแสดงออกปกติและ

o ปกติเทียบเท่ากับออโตมาตาภาษาและคุณสมบัติ
o จำกัดจำกัด ( FA ) กับผลผลิตและการประยุกต์ใช้
o ไม่ deterministic และเทียบเคียงกับเอฟเอของ deterministic ฟา
o รัฐน้อยของ deterministic ฟา
o
สูบบทตั้งของภาษาปกติ พุชดาวน์ออโตมาตา ( PA )
o นิยามเชิงรูปนัยของพุชดาวน์ออโตมาตาและเทียบเท่ากับ
ไวยากรณ์ไม่อิงบริบทบริบทฟรี ( CFG )
o
o ( ภาษาและคุณสมบัติของ PA และ cfg
o ปั๊มแทรกบริบทเครื่องจักรทัวริง
O
ฟรีภาษานิยามเชิงรูปนัยของเครื่องจักรทัวริง
o แบบต่างๆของเอ็มและเทียบเท่าของพวกเขา
o recursively การแจกแจงการเข้ารหัสภาษาของเครื่องทัวริง decidability
o
,ลดลง และ undecidability
o ปัญหาการยุติการทำงาน
o
o undecidability แผนที่ลดปัญหาในภาษาแบบจำลองความซับซ้อนของเครื่องจักรทัวริงคำนวณเวลา

o เรียน P NP NP สมบูรณ์และปรุงอาหาร
o


ของเลวิน