آموزش نظریه جامع محاسبات - آخرین آپدیت

سرفصل ها و درس ها

مقدمه دوره Course Introduction

• موضوعات اصلی دوره Main Topics of the Course

نظریه زبان‌ها Language Theory

• مقدمه‌ای بر نظریه زبان‌ها Introduction to Language Theory

• الفبا و کلمات Alphabets and Words

• عملیات بین کلمات Operations between Words

• مفهوم زبان Concept of Language

• الحاق زبان‌ها Concatenation of Languages

• آزمون - الحاق زبان‌ها Quiz - Concatenation of Languages

• توان یک زبان Power of a Language

• بستار کلینی Kleene Closure

• معکوس کلمات و زبان‌ها Reverse of Words and Languages

• مورفیسم Morphism

• قاعده جایگزینی Rule of Replacement

مسائل نظریه زبان‌ها Language Theory Problems

• مسئله 1 - ماژول الف Problem 1 - Module A

• مسئله 1 - ماژول ب Problem 1 - Module B

• مسئله 1 - ماژول پ Problem 1 - Module C

• مسئله 1 - ماژول ت Problem 1 - Module D

• مسئله 2 Problem 2

• مسئله 3 Problem 3

• مسئله 4 Problem 4

• مسئله 5 Problem 5

• مسئله 6 Problem 6

• مسئله 7 Problem 7

اتوماتای متناهی Finite Automata

• اتوماتای متناهی قطعی (DFA) Deterministic Finite Automata (DFA)

• زبان یک DFA Language of a DFA

• اتوماتای متناهی نامقطعی (NFA) Nondeterministic Finite Automata (NFA)

مسائل اتوماتای متناهی Finite Automata Problems

• مسئله 1 Problem 1

• مسئله 2 Problem 2

• مسئله 3 Problem 3

• مسئله 4 Problem 4

• مسئله 5 Problem 5

• مسئله 6 Problem 6

• مسئله 7 Problem 7

• مسئله 8 Problem 8

• مسئله 9 Problem 9

• مسئله 10 Problem 10

• مسئله 11 Problem 11

• مسئله 12 Problem 12

گرامرهای مستقل از متن (CFG) Context Free Grammars (CFG)

• مقدمه‌ای بر گرامرهای مستقل از متن Introduction to Context Free Grammars

• زبان تولید شده توسط یک CFG Language generated by a CFG

• عملیات بین زبان‌های مستقل از متن Operations between Context Free Languages

مسائل گرامرهای مستقل از متن (CFG) Context Free Grammars (CFG) Problems

• مسئله 1 Problem 1

• مسئله 2 Problem 2

• مسئله 3 Problem 3

• مسئله 4 Problem 4

• مسئله 5 Problem 5

• مسئله 6 Problem 6

• مسئله 7 Problem 7

• مسئله 8 Problem 8

• مسئله 9 Problem 9

• مسئله 10 Problem 10

• مسئله 11 Problem 11

• مسئله 12 Problem 12

• مسئله 13 Problem 13

• مسئله 14 Problem 14

عبارات باقاعده Regular Expressions

• مقدمه‌ای بر عبارات باقاعده Introduction to Regular Expressions

• لم پامپینگ Pumping Lemma

• نمونه‌هایی از لم پامپینگ Pumping Lemma Demonstrations

مسائل عبارات باقاعده Regular Expressions Problems

• مسئله 1 Problem 1

• مسئله 2 Problem 2

• مسئله 3 Problem 3

• مسئله 4 Problem 4

• مسئله 5 Problem 5

• مسئله 6 Problem 6

• مسئله 7 Problem 7

• مسئله 8 Problem 8

• مسئله 9 Problem 9

• مسئله 10 Problem 10

• مسئله 11 Problem 11

اتوماتای پشته‌ای (PDA) Pushdown Automata (PDA)

• تعریف اتوماتای پشته‌ای (PDA) Definition of Pushdown Automata (PDA)

مسائل اتوماتای پشته‌ای Pushdown Automata Problems

• مسئله 1 Problem 1

• مسئله 2 Problem 2

• مسئله 3 Problem 3

• مسئله 4 Problem 4

• مسئله 5 Problem 5

• مسئله 6 Problem 6

• مسئله 7 Problem 7

• مسئله 8 Problem 8

• مسئله 9 Problem 9

ماشین‌های تورینگ Turing Machines

• مبانی ماشین تورینگ Fundamentals of the Turing Machine

• رسمی‌سازی ماشین تورینگ Formalization of the Turing Machine

مسئله توقف - کاهش‌ها - محاسبات پیشرفته The Halting Problem - Reductions - Advanced Computing

• مسئله توقف The Halting Problem

• اثبات نیمه‌تصمیم‌پذیری K Proof K is Semidecidable

• اثبات نیمه‌تصمیم‌پذیری HALT Proof HALT is Semidecidable

• مسئله 1 Problem 1

• مسئله 2 Problem 2

• مسئله 3 Problem 3

• مسئله 4 Problem 4

• مسئله 5 Problem 5

• مسئله 6 Problem 6

• مسئله 7 Problem 7

• مسئله 8 Problem 8

• مسئله 9 Problem 9

• مسئله 10 Problem 10

مسئله دسترس‌پذیری کلمه - کاهش‌ها - محاسبات پیشرفته Word Reachability Problem - Reductions - Advanced Computing

• دسترس‌پذیری کلمه Word Reachability

• مسئله 1 Problem 1

• مسئله 2 Problem 2

• مسئله 3 Problem 3

• مسئله 4 Problem 4