形式語言一組符號字符串,可能受特定於它的規則約束' / 維基百科,自由的 encyclopedia 在數學、邏輯和電腦科學中,形式語言(英語:Formal language)是用精確的數學或機器可處理的公式定義的語言。 如語言學中語言一樣,形式語言一般有兩個方面:語法和語意。專門研究語言的語法的數學和電腦科學分支叫做形式語言理論,它只研究語言的語法而不致力於它的語意。在形式語言理論中,形式語言是一個字母表上的某些有限長字串的集合。一個形式語言可以包含無限多個字串。
在數學、邏輯和電腦科學中,形式語言(英語:Formal language)是用精確的數學或機器可處理的公式定義的語言。 如語言學中語言一樣,形式語言一般有兩個方面:語法和語意。專門研究語言的語法的數學和電腦科學分支叫做形式語言理論,它只研究語言的語法而不致力於它的語意。在形式語言理論中,形式語言是一個字母表上的某些有限長字串的集合。一個形式語言可以包含無限多個字串。