編程語言是表達邏輯推演的語言，是邏輯語言的一個變種；
計算機程序是建立在計算機硬件和一系列規則、協議、規范、算法基礎之上的；
形式語言理論主要研究的是內部結構模式這類語言的純粹的語法領域。形式語言理論是從語言學衍生而來，作為一種理解自然語言的句法規律。在計算機科學中，形式語言通常作為定義編程語言和語法的基礎，是正式版本的自然語言的子集。
編程語言也是一種形式語言，是專門設計用來表達計算過程的形式語言。
人類所使用的語言，可以分為三類：自然語言（如：英語和漢語）、半形式化語言（如：數學的語言。即：自然語言加特定的符號）和形式化語言（如：邏輯的語言）。
https://baike.baidu.com/item/邏輯學語言