本文由@lonelyrains
在通訊過程中，有幾種常用的通訊報文定義格式。有if-else直接層層遞進融合**的方式，有自然語言描述的方式定義一條條規則，但是很少發現有用形式語言定義的。
其實，形式語言定義的報文，由於是規範，可以比較方便地讓計算機識別，從而自動轉換成**。它和直接if-else定義報文相比，省去了很多手工敲打條件判斷的過程，體現的是高效和高質量。現在手頭缺少這個識別形式語言並轉化為格式檢測**的自動機實現。但是這東西遲早會有人做出來的。
比如有自然語言定義的通訊報文格式為：
1、報文以^|^開始，以^|^結尾，報文每個欄位都以^|^為分割符
2、報文有需要在**中顯示的部分和不需要顯示的部分，需要顯示的部分採用_show=,}類似形式；不需要顯示的只要不用_show關鍵字即可，例如hidekey1=hidevalue1
3、不使用中文編碼字元'：' 即ascii碼0xa3ba，以免與':'混淆。分隔符^|^左右無多餘空格和其他製表符
4、解析到多個_show欄位，報錯
以不全面的自然語言定義轉化為嚴密的形式語言，將自然語言描述不全面的地方補全：
a=「^|^」
b="="
c=":"
d=所有可列印字元
e=(d*)-a-b-c-"_show"
f=a((ebea)*)
g="_show=",)*)"}"
h=fgf
說明：*表示任意個（包括0個）重複單元
形式語言簡介
當前，我國普通高校微積分教育改革正好處在乙個十字路口。是前進，還是後退？說句大實話，基於極限論的菲氏微積分不需要形式語言的幫助，與此相反，基於模型論的無窮小微積分卻離不開形式語言的支撐。那麼，形式語言是什麼呢？在數學 邏輯 包括模型論 和電腦科學中，形式語言 formal language 是用精確...
刺繡紋樣形式語言分析
刺繡紋樣形式語言分析 2011年06月21日 b 摘要 b 湘西苗族服飾作為非物質文化遺產，是湘西苗族社會 歷史 文化的表現載體，其刺繡紋樣是苗族藝術內蘊的精髓表現 通過對湘西苗族服飾刺繡紋樣的背景了解，根據表現主題和內涵來對湘西苗族服飾刺繡紋樣進行分類 經過對紋樣的分析，湘西苗族服飾刺繡紋樣所蘊含...
形式語言 四類文法
參考 形式語言 文 法g n,p,s 其中n 為終止符 集合，為終止符 集合，p 為產生式 集合，s 為起始語 句 0 型文法 無限制文法或短語結構文法 包括所有的文法。該型別的文法能夠產生所有可被圖靈機識別的語言。可被圖靈機識別的語言是指能夠使圖靈機停機的字串，這類語言又被稱為遞迴可列舉語言。注意...