feat: upd: content

KevinNote · Feb 26, 2022 · c96289d · c96289d
1 parent 4ee6fa4
commit c96289d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -13,3 +13,4 @@
 
 - [Week 1: Regex, DFA, NFA & Kleene's Theorem](note/Week1.md)
 - [Week 2: Equivalence, Minimal, Minimisation Automata & Non-regular Language](note/Week2.md)
+- [Week 3: Induction & Context-free Language](note/Week3.md)
diff --git a/note/Week3.md b/note/Week3.md
@@ -1,4 +1,4 @@
-# Week 3:
+# Week 3: Induction & Context-free Language
 
 ## Induction
 
@@ -32,7 +32,7 @@ Let $P\in\mathbb{N}$
 *Assume:* $n\in\mathbb{N}$ and $n\geq 0$, $\forall n'\in \mathbb{N},\ n'\in[1, n).\ P(n') \text{ is true}$  
 *Proof:* $P(n)$ is True.
 
-## Context-Free Language
+## Context-free Language
 
 ### Definition
Original file line number	Diff line number	Diff line change
Expand Up		@@ -13,3 +13,4 @@

		- [Week 1: Regex, DFA, NFA & Kleene's Theorem](note/Week1.md)
		- [Week 2: Equivalence, Minimal, Minimisation Automata & Non-regular Language](note/Week2.md)
		- [Week 3: Induction & Context-free Language](note/Week3.md)