形式語言

語言學系列
語言（自然語言 · 人造語言 · 形式語言） · 語言學史 · 語言學家（一覽） · 語言學嘅大綱
語言結構 語音（語言聲學 · 發聲 · 聽覺）同音系 構詞 句法 語義（詞彙語義學 · 結構語義學 · 原型語義學） 語用
語言學領域 描述同規範語言學 理論同應用語言學 歷史語言學（比較語言學） 語言類型學 音位學 詞法學 計量語言學 描述語言學同規範語言學 心理語言學同神經語言學 社會語言學 語言習得（SLA） 生成語言學 認知語言學 運算語言學 共時語言學 對照語言學 文體學 規範語言學 語源學 語料庫語言學
語言學應用 詞彙學同辭典學 正字法 語言教育 自然語言處理
拉雜相關 文法（文法範疇） 生成文法 社會科學同人文學（文學 · 樂理） 聲學 進化論
Portal

形式語言jing4 sik1 jyu5 jin4（formal language）係每一個字都有精確定義嘅語言，相對於日常講嘢用嘅自然語言。

例子可以睇吓程式語言噉。