《自動機理論、語言和計算導論》學習第 14 天，p428-p525總結，總計 98 頁。
一、技術總結
1.Kruskal's algorithm(克魯斯克爾算法)
2.NP-Complete Problems
p434, We say L is NP-complete if the following statements are true about L:
(1)L is in NP。
(2)
《自動機理論、語言和計算導論》學習第 13 天，p402-P427總結，總計 26 頁。
一、技術總結
無。
二、英語總結
1.elude
e--,assimilated form of ex-(out, away) + ludere(to play, see ludicrous)。vt. if sth you want eludes you, you do not succeed in achi
《自動機理論、語言和計算導論》學習第 12 天，p352-P401總結，總計 50 頁。
一、技術總結
1.Turing Machine(TM)
2.undecidability
a.Ld(the diagonalization language)
3.reduction
p392, In general, if we have an algorithm to convert instance
《自動機理論、語言和計算導論》學習第 8 天，p172-p224總結，總計 53 頁。
一、技術總結
1.Context-Free Grammar(CFG)
2.parse tree
(1)定義
p183，But perhaps more importantly, the tree, known as a "parse tree", when used in a compiler, is the
《自動機理論、語言和計算導論》學習第 7 天，p139-p171總結，總計 33 頁。
一、技術總結
1.reversal
p139, The reversal of a string a1a2...an is the string written backwards, that is anan-1...a1.
2.homomorphism
A string homomorphism is a f
《自動機理論、語言和計算導論》學習第 6 天，p115-p138 總結，總計 24 頁。
一、技術總結
1.associativity and comutativity
(1)commutativity(交換性): Commutativity is the property of an operator that says we can switch the order of its operan
《自動機理論、語言和計算導論》學習第4天，p49-p67總結，總計19頁。
一、技術總結
1.Deterministic Finite Automata(DFA) vs Nondeterministic Finite Automata(NFA)
(1)DFA定義
(2)NFA定義
A "nonedeterministic" finite automata has the power to
《Programming Abstractions in C》學習第80天，p338-p346，總計9頁。
一、技術總結
棧的實現包括入棧、出棧、判斷棧是否為滿，判斷棧是否為空等。作者結合RPN計算器來實現，稍顯無聊。
/*
* File: rpncalc.c
* ---------------
* This program simulates an electronic calculato
《Programming Abstractions In C》閲讀P72-p75，每次閲讀其實都有很多內容需要總結，這裏摘抄其中一部分。
一、技術總結
1.字符串數組
學習《Programming Abstractions in C》第75頁的時候，遇到一段代碼：
static string bigCities[] = {
"New York",
"Los An
