OS-鴻蒙系統-以及編譯器

OS:作業系統，定義為系統性的操作集合。有更準確的數學形式化的定義。既然定義為OS，便引入了類似於環境科學或者生物學中"生命週期"思想。
編譯器: 把高階語言轉化為計算機可執行機器語言(馮諾依曼-圖靈機 二進位制語言 或丹佛資料-指令語言)的系統軟體。
在計算機諸多課程裡，離散數學可以稱為是計算機理論的基礎。私以為，偏工程學而非形式化系統數學的科目，編譯原理貌似是最難的一個課程。
像華為這樣的企業，或許應該有更大的理想，不必放下身段和諸多小公司搶飯吃。對於編譯器以及系統的開發，需要長久的支援更新，35歲優化掉或者轉為技術管理離開工程前沿，又或者因為財富自由而離開放棄自己的長處，對於計算機事業而不是公司來說，是一件得不償失的事情。
或許，一切根源，和"債務經濟"這種發展方式有關。凱恩斯經濟理論不壞，但有更好的分配機制或許對電腦科學工程學發展更好。

一、語言學
語言的基礎:字母表、詞法、文法、語義
形式化的定義:

二、形式文法-四種形式文法
chomsky文法
上下文無關
上下文有關

三、語法樹

四、語義
中間程式碼

五、編譯器優化
四級優化方法

六、yacc和lcc
編譯器滾雪球