複製鏈接
請複製以下鏈接發送給好友

前綴文法

鎖定
計算機科學中,前綴文法是類似形式文法的一種文法,這裏的字符串是從基礎字符串通過不斷的替代前綴建造出來的。前綴文法精確的描述了所有正則語言
中文名
前綴文法
學    科
計算機科學

前綴文法形式定義

前綴文法G是3-元組(Σ,S,P),這裏的
  • Σ 是有限字母表
  • S是在 Σ 上的基礎字符串的有限集合
  • P是形如uv的產生規則的集合,uv是 Σ 上的字符串
每個產生式uv只可以應用於形如uw的字符串。 [1] 

前綴文法例子

一個簡單的例子前綴文法可以定義為
  • Σ = {0, 1}
  • S= {01, 10}
  • P= {0 → 010, 10 → 100}
它描述如下正則表達式所定義的語言

前綴文法性質

前綴文法生成前綴閉合的語言。 [1] 

前綴文法正則語言

正則語言又稱正規語言是滿足下述相互等價的一組條件的一類形式語言
參考資料
  • 1.    M. Frazier and C. D. Page. Prefix grammars: An alternative characterization of the regular languages. Information Processing Letters, 51(2):67–71, 1994.