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

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

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 ريال


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

#1.1 Models of Computation #1.2 Finite Automata Examples-part1 #1.3 Finite Automata Examples-part2 #1.4 Finite Automata Examples-part3

#2.1 convert nfa to dfa #2.2 Nondeterministic Finite Accepter (NFA) #2.3 part1 -Lambda Transitions #2.4 Lambda Transitions-part2 #2.5 Another NFA Exampleand dfa #2.6 Formal Definition of NFAs #2.7 NFAs accept the Regular Languages

#3.1 تمارين RE #3.2 نموذج ميد1 #3.3 mid2-تمارين Parss tree #3.4 نموذج فاينل #3.5 نموذج فاينل FA #3.6 mid2-نموذج فاينل parse tree #3.7 mid2-نموذج فاينل -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 mid1-mid2-حل نموذج اسئله-1 #3.22 mid1-mid2-حل نموذج اسئله-2 #3.23 mid2-derivationtree #3.24 mid2-PDA #3.25 نموذج ميد1 #3.26 mid2-CFG #3.27 mid2-derivation #3.28 mid2-CYK algorithm #3.29 mid2-CYK algorithm #3.30 CYK algorithm-mid2 تابع للفيديو السابق #3.31 mid2-PDA #3.32 فاينل اختياري-1 #3.33 فاينل اختياري-2 #3.34 فاينل اختياري-3 #3.35 NFA-final #3.36 mid2-Pushdown - final #3.37 Turing Machine -final #3.38 NFA-final #3.39 mid2-Tree-final #3.40 mid2-PDA-final #3.41 TM-final #3.42 mid2-parse trees #3.43 mid2-derivations #3.44 Design a finite machine #3.45 أختياري mid2 #3.46 CFG-mid2 #3.47 parse tree-mid2 #3.48 Chomsky Normal Form-mid2 #3.49 PDA (Pushdown automaton) -mid2 #3.50 mid2-PDA-final #3.51 NFA to DFA ---mid1 #3.52 tree #3.53 convert nfa to dfa #3.54 PDA #3.55 TM #3.56 أختياري-فاينل #3.57 أختياري-فاينل

#4.1 Single final state #4.2 Properties of Regular Languages #4.3 Regular Expressions #4.4 Regular Expressions and Regular Languages #4.5 Regular Expressions and Regular Languages-part2

#5.1 Grammars #5.2 Notation #5.3 More Notation #5.4 Linear Grammars #5.5 Regular Grammars #5.6 Regular Grammars Generate Regular Languages-1 #5.7 Regular Grammars Generate Regular Languages-2

#6.1 Context-Free Languages #6.2 Context-Free Languages-2 #6.3 Derivation Trees #6.4 Ambiguity #6.5 Another Ambiguous Grammar #6.6 Compilers #6.7 Parsing #6.8 Chomsky Normal Form #6.9 Chomsky Normal Form-2 #6.10 Greinbach #6.11 CYK #6.12 Pushdown Automata PDAs-1 #6.13 Pushdown Automata PDAs-2 #6.14 Pushdown Automata PDAs-3 #6.15 Pushdown Automata PDAs-4 #6.16 Positive Properties of Context-Free languages #6.17 Intersection of Context-free languages and Regular Languages

#7.1 Regular Expressions #7.2 Decision Properties of Regular Languages #7.3 The Infiniteness Problem #7.4 TM