形式語言與自動機

形式語言 1.形式語法定義 不管哪一種語言都是句子和符號串的集合，描述一種語言的三種方法： 1. 窮舉法：把語言中的全部句子都枚舉出來。 2. 文法描述：語言中的每一個句子用嚴格定義的規則來構造，利用規則生成語言中合法的句子。（用來精確地描述語言和其結構） 3. 自動機法：經過對輸入的句子進行合法性檢驗，區別哪些是語言中的句子，哪些不是。（用來機械地刻畫對輸入字符串的識別過程）web 定義（形式語

>>阅读原文<<