形式語言

形式語言

形式語言是真實語言（程序設計語言、自然語言等）的一種數學模型。
形式語言認爲：語言是符號串的集合。
形式語言定義： 字母表上的符號，按一定的規則組成的所有符號串之集合；其中的每個符號串稱爲句子。