diff --git a/book/docs/4_0_python_grammar.md b/book/docs/4_0_python_grammar.md
new file mode 100644
index 0000000..59073c4
--- /dev/null
+++ b/book/docs/4_0_python_grammar.md
@@ -0,0 +1,68 @@
+# 파이썬 언어와 문법
+
+## 4.1 CPython이 파이썬이 아니라 C로 작성된 이유
+CPython은 C로 만들어진 컴파일러를 사용한다.
+- 파이썬에서 이용하는 많은 라이브러리가 C로 되어있기 때문
+
+## 4.2 파이썬 언어 사양
+
+### 언어 레퍼넌스
+Doc/reference에 언어의 구조, 키워드를 정의해둔다
+
+### 문법
+PEG 표현식을 이용
+
+- \* 반복을 의미
+- \+ 최소 한번의 반복
+- \[\] 선택적
+- | 대안
+- () 그룹
+
+eg)
+coffee: 'cup' ('espresso') + \['water'\] \[milk\]
+
+milk: 'full-fat' | 'skimmed' | 'soy'
+
+철도 다이어그램
+![철도 다이어그램](../images/4_grammar/train_diagram.svg)  
+
+### Parser
+Grammar/python.gram에 파이썬 문법이 PEG로 정의가 되어있다
+
+![small_stmt 예시](../images/4_grammar/small_stmt.png)
+
+```
+'pass' { _Py_Pass(EXTRA) }
+```
+
+줄을
+
+
+```
+('pass'|'proceed') { _Py_Pass(EXTRA) }
+```
+
+로 바꾸고 컴파일 하면,
+
+proceed라는 함수가 pass랑 동일한 action을 하게 된다
+
+```
+def test1():
+    pass
+
+def test2():
+    proceed
+```
+
+위에서 test1()이랑 test2()의 action은 동일하다.
+
+python.gram파일 수정을 통해서 파이썬 문법을 변경할 수 있다
+
+## 4.4 토큰
+Grammar/Tokens 파일은 파스 트리의 Leaf node에서 사용되는 고유 토큰들을 정의한다. 코드 tokenization은 추후에 compiling할때 이용된다.
+
+![tokens 예시](../images/4_grammar/tokens.png)
+
+python코드가 tokenizer를 통해서 토큰으로 파싱이 된다. 위 코드를 tokenize를 하면:
+
+![코드 token화 예시](../images/4_grammar/code_tokenized.png)
diff --git a/book/images/4_grammar/code_tokenized.png b/book/images/4_grammar/code_tokenized.png
new file mode 100644
index 0000000..04848cd
Binary files /dev/null and b/book/images/4_grammar/code_tokenized.png differ
diff --git a/book/images/4_grammar/small_stmt.png b/book/images/4_grammar/small_stmt.png
new file mode 100644
index 0000000..7e5e9e6
Binary files /dev/null and b/book/images/4_grammar/small_stmt.png differ
diff --git a/book/images/4_grammar/tokens.png b/book/images/4_grammar/tokens.png
new file mode 100644
index 0000000..b3b73ca
Binary files /dev/null and b/book/images/4_grammar/tokens.png differ
diff --git a/book/images/4_grammar/train_diagram.svg b/book/images/4_grammar/train_diagram.svg
new file mode 100644
index 0000000..98965fa
--- /dev/null
+++ b/book/images/4_grammar/train_diagram.svg
@@ -0,0 +1,112 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="291" height="121" viewBox="0 0 291 121">
+<g transform="translate(.5 .5)">
+<g>
+<path d="M20 30v20m10 -20v20m-10 -10h20"></path>
+</g>
+<g>
+<path d="M40 40h0"></path>
+<path d="M145.5 40h0"></path>
+<path d="M40 40a10 10 0 0 0 10 -10v0a10 10 0 0 1 10 -10"></path>
+<g>
+<path d="M60 20h65.5"></path>
+</g>
+<path d="M125.5 20a10 10 0 0 1 10 10v0a10 10 0 0 0 10 10"></path>
+<path d="M40 40h20"></path>
+<g>
+<path d="M60 40h0"></path>
+<path d="M125.5 40h0"></path>
+<path d="M60 40h10"></path>
+<g class="terminal">
+<path d="M70 40h0"></path>
+<path d="M115.5 40h0"></path>
+<rect x="70" y="29" width="45.5" height="22" rx="10" ry="10"></rect>
+<text x="92.75" y="44">foo</text>
+</g>
+<path d="M115.5 40h10"></path>
+<path d="M70 40a10 10 0 0 0 -10 10v10a10 10 0 0 0 10 10"></path>
+<g>
+<path d="M70 70h7.25"></path>
+<path d="M108.25 70h7.25"></path>
+<text x="92.75" y="75" class="comment">bar</text>
+</g>
+<path d="M115.5 70a10 10 0 0 0 10 -10v-10a10 10 0 0 0 -10 -10"></path>
+</g>
+<path d="M125.5 40h20"></path>
+</g>
+<g>
+<path d="M145.5 40h0"></path>
+<path d="M251 40h0"></path>
+<path d="M145.5 40h20"></path>
+<g>
+<path d="M165.5 40h65.5"></path>
+</g>
+<path d="M231 40h20"></path>
+<path d="M145.5 40a10 10 0 0 1 10 10v0a10 10 0 0 0 10 10"></path>
+<g>
+<path d="M165.5 60h0"></path>
+<path d="M231 60h0"></path>
+<path d="M165.5 60h10"></path>
+<g class="terminal">
+<path d="M175.5 60h0"></path>
+<path d="M221 60h0"></path>
+<rect x="175.5" y="49" width="45.5" height="22" rx="10" ry="10"></rect>
+<text x="198.25" y="64">foo</text>
+</g>
+<path d="M221 60h10"></path>
+<path d="M175.5 60a10 10 0 0 0 -10 10v10a10 10 0 0 0 10 10"></path>
+<g>
+<path d="M175.5 90h7.25"></path>
+<path d="M213.75 90h7.25"></path>
+<text x="198.25" y="95" class="comment">bar</text>
+</g>
+<path d="M221 90a10 10 0 0 0 10 -10v-10a10 10 0 0 0 -10 -10"></path>
+</g>
+<path d="M231 60a10 10 0 0 0 10 -10v0a10 10 0 0 1 10 -10"></path>
+</g>
+<path d="M 251 40 h 20 m -10 -10 v 20 m 10 -20 v 20"></path>
+</g>
+<style>
+svg {
+    background-color: hsl(30,20%,95%);
+}
+path {
+    stroke-width: 3;
+    stroke: black;
+    fill: rgba(0,0,0,0);
+}
+text {
+    font: bold 14px monospace;
+    text-anchor: middle;
+    white-space: pre;
+}
+text.diagram-text {
+    font-size: 12px;
+}
+text.diagram-arrow {
+    font-size: 16px;
+}
+text.label {
+    text-anchor: start;
+}
+text.comment {
+    font: italic 12px monospace;
+}
+g.non-terminal text {
+    /*font-style: italic;*/
+}
+rect {
+    stroke-width: 3;
+    stroke: black;
+    fill: hsl(120,100%,90%);
+}
+path.diagram-text {
+    stroke-width: 3;
+    stroke: black;
+    fill: white;
+    cursor: help;
+}
+g.diagram-text:hover path.diagram-text {
+    fill: #eee;
+}
+</style>
+</svg>
\ No newline at end of file