形式語言

在數學 、 邏輯和計算機科學中 ， 形式語言 （ Formal language ） 是用精確的數學或機器可處理的公式定義的語言 。 如語言學中語言一樣 ， 形式語言一般有兩個方面 ： 語法和語義 。 專門研究語言的語法的數學和計算機科學分支叫做形式語言理論 ， 它只研究語言的語法而不致力於它的語義 。 在形式語言理論中 ， 形式語言是一個字母表上的某些有限長字符串的集合 。 一個形式語言可以包含無限多個字符串 。