形式語言具體指的是什麼

形式語言（英語：Formal language）是用精確的數學或機器可處理的公式定義的語言。

如語言學中語言一樣，形式語言一般有兩個方面: 語法和語義。專門研究語言的語法的數學和計算機科學分支叫做形式語言理論，它只研究語言的語法而不致力於它的語義。在形式語言理論中，形式語言是一個字母表上的某些有限長字符串的集合。一個形式語言可以包含無限多個字符串。