7.2.1 Formal proofs of correctness over Z27.3 Gram-Schmidt; 7.4 Gaussian lattice reduction; 7.5 Computing the characteristic polynomial; 7.5.1 Csankyâ#x80;#x99;s algorithm; 7.5.2 Berkowitzâ#x80;#x99;s algorithm; 7.5.3 Proving properties of the characteristic polynomial; 7.6 Answers to selected problems; 7.7 Notes; 8. Computational Foundations; 8.1 Introduction; 8.2 Alphabets, strings and languages; 8.3 Regular languages; 8.3.1 Deterministic Finite Automaton; 8.3.2 Nondeterministic Finite Automata; 8.3.3 Regular Expressions; 8.3.3.1 Method 1; 8.3.3.2 Method 2; 8.3.4 Algebraic laws for Regular Expressions
متن يادداشت
8.3.5 Closure properties of regular languages8.3.6 Complexity of transformations and decisions; 8.3.7 Equivalence and minimization of automata; 8.3.8 Languages that are not regular; 8.3.8.1 Pumping Lemma; 8.3.8.2 Myhill-Nerode Theorem; 8.3.9 Automata on terms; 8.4 Context-free languages; 8.4.1 Context-free grammars; 8.4.2 Pushdown automata; 8.4.3 Chomsky Normal Form; 8.4.4 CYK algorithm; 8.4.5 Pumping Lemma for CFLs; 8.4.6 Further observations about CFL; 8.4.7 Other grammars; 8.5 Turing machines; 8.5.1 Nondeterministic TMs; 8.5.2 Encodings; 8.5.3 Decidability; 8.5.4 Church-Turing thesis
بدون عنوان
0
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Introduction to the analysis of algorithms.
شماره استاندارد بين المللي کتاب و موسيقي
9789813235908
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algorithms, Textbooks.
موضوع مستند نشده
Algorithms.
موضوع مستند نشده
MATHEMATICS-- Numerical Analysis.
مقوله موضوعی
موضوع مستند نشده
MAT-- 041000
رده بندی ديویی
شماره
518/
.
1
ويراست
23
رده بندی کنگره
شماره رده
QA9
.
58
نشانه اثر
.
S63
2018
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )