نظرية الحوسبة

لا نحلل لاي طالب ان يشارك ايميله مع طلبة اخرين ولا نحلل مشاهدة هذا الدرس لاكتر من طالب بنفس الحساب

Introduction -Why study theory of computation2Regular Languages and their descriptors:–Finite automata, nondeterministic finite automata,–Regular expressions and regular grammars3Context-free languages and their descriptors:–Context-free grammars, pushdown automata.–Decision and closure properties4Midterm-I5Recursive and recursively enumerable languages.–Turing machines.–Decidability andThe limit of what can be computed6Intractable problems.–Problems that (appear to) require exponential time.7Midterm-28NP-completeness and beyond.9Revision
المعلم : رولا محمد خليل شقرة

500 ريال


-يحتوي الحلقات : 99 الدخول من الكمبيوتر و الموبايل جروب للتواصل المباشر
محتويات المقرر

#1.1 Models of Computation

#2.1 Finite Automata #2.2 Introduction to Finite Automata #2.3 Introduction to Finite Automata-part2 #2.4 Finite Automata Examples-part1 #2.5 Finite Automata Examples-part2 #2.6 Finite Automata Examples-part3 #2.7 Nondeterministic Finite Automata-part1 #2.8 Nondeterministic Finite Automata-part2 #2.9 Regular Expressions #2.10 Decision Properties of Regular Languages #2.11 The Infiniteness Problem #2.12 Equivalence #2.13 Containment #2.14 Closure Properties of Regular Languages #2.15 Grammars #2.16 Notation #2.17 More Notation #2.18 Linear Grammars #2.19 Regular Grammars #2.20 Regular Grammars Generate Regular Languages-1 #2.21 Regular Grammars Generate Regular Languages-2

#3.1 تمارين RE #3.2 نموذج ميد1 #3.3 تمارين Parss tree #3.4 نموذج فاينل #3.5 نموذج فاينل FA #3.6 نموذج فاينل parse tree #3.7 نموذج فاينل -PDA #3.8 تمرين- TM #3.9 تمرين TM Diagram #3.10 تمرين -Design a Turing machine #3.11 نموذج ميد1 #3.12 نموذج ميد1 #3.13 تمارين الهادي -1 #3.14 تمارين الهادي -2 #3.15 تمارين الهادي-3 #3.16 تمارين الهادي - 4 #3.17 تمارين الهادي-5 #3.18 تمارين الهادي-6 #3.19 تمارين الهادي-7 #3.20 تمارين الهادي-8 #3.21 حل نموذج اسئله-1 #3.22 حل نموذج اسئله-2 #3.23 derivationtree #3.24 PDA #3.25 نموذج ميد1 #3.26 CFG #3.27 derivation #3.28 CYK algorithm #3.29 CYK algorithm #3.30 CYK algorithm تابع للفيديو السابق #3.31 PDA #3.32 فاينل اختياري-1 #3.33 فاينل اختياري-2 #3.34 فاينل اختياري-3 #3.35 NFA-final #3.36 final -ambiguous tree #3.37 Pushdown - final #3.38 Turing Machine -final #3.39 NFA-final #3.40 Tree-final #3.41 PDA-final #3.42 TM-final #3.43 parse trees #3.44 derivations #3.45 Design a finite machine #3.46 أختياري mid2 #3.47 CFG-mid2 #3.48 parse tree-mid2 #3.49 Chomsky Normal Form-mid2 #3.50 PDA (Pushdown automaton) -mid2 #3.51 PDA-final

#4.1 Context-Free Languages #4.2 Context-Free Languages-2 #4.3 Derivation Trees #4.4 Ambiguity #4.5 Another Ambiguous Grammar #4.6 Compilers #4.7 Parsing #4.8 Chomsky Normal Form #4.9 Chomsky Normal Form-2 #4.10 Greinbach #4.11 CYK #4.12 Pushdown Automata PDAs-1 #4.13 Pushdown Automata PDAs-2 #4.14 Pushdown Automata PDAs-3 #4.15 Pushdown Automata PDAs-4 #4.16 Positive Properties of Context-Free languages #4.17 Intersection of Context-free languages and Regular Languages #4.18 TM

#5.1 HW1 #5.2 واجب1 #5.3 Assignment2 #5.4 regular expression

#6.1 convert nfa to dfa #6.2 Finite Automata Examples-part1 #6.3 Finite Automata Examples-part2 #6.4 Finite Automata Examples-part3