Part 1 短语结构文法(PSG)、上下文有关文法(CSG)、上下文无关文法(CFG)、右线性文法(RLG)的区别
Part 2 概念
文法G=(V,T,P,S)
G叫做0型文法(type 0 grammar),也叫做短语结构文法(phrase structure grammar, PSG)。
L(G)叫做0型语言。也可以叫做短语结构语言(PSL)、递归可枚举集(recursively enumerable ,r.e. )。 对应的其识别语言机器为图灵机(TM:turing machine)
G是0型文法。
如果对于"α->β∈P,均有|β|≥|α|成立,则称G为1型文法(type 1 grammar),或上下文有关文法(context sensitive grammar,CSG)。
L(G)叫做1型语言(type 1 language)或者上下文有关语言(context sensitive language ,CSL)。对应的其识别语言机器为线性有限状态机(LBA)
G是1型文法
如果对于"α->β∈P,均有|β|≥|α|,并且α∈V成立,则称G为2型文法(type 2 grammar),或上下文无关文法(context free grammar,CFG)。
L(G)叫做2型语言(type 2 language)或者上下文无关语言(context free language ,CFL)。对应的其识别语言机器为下推自动机 (PDA :pushdown automaton)
G是2型文法
如果对于"α->β∈P,α®β均具有形式
A->w
A->wB
- 1
- 2
- 3
其中A,B∈V,w∈T+。则称G为3型文法(type 3 grammar),也可称为正则文法(regular grammar ,RG)或者正规文法。L(G)叫做3型语言(type 3 language),也可称为正则语言或者正规语言(regular language ,RL)。 对应的其识别语言机器为有穷状态自动机(FA :finite automatior)
在正则表达式中还有6种等价描述模型的转换,看看他们自己的关系:
此部分原文链接:link.
</div>
<link href="https://csdnimg.cn/release/phoenix/mdeditor/markdown_views-b6c3c6d139.css" rel="stylesheet">
<div class="more-toolbox">
<div class="left-toolbox">
<ul class="toolbox-list">
<li class="tool-item tool-active is-like "><a href="javascript:;"><svg class="icon" aria-hidden="true">
<use xlink:href="#csdnc-thumbsup"></use>
</svg><span class="name">点赞</span>
<span class="count">1</span>
</a></li>
<li class="tool-item tool-active is-collection "><a href="javascript:;" data-report-click="{"mod":"popu_824"}"><svg class="icon" aria-hidden="true">
<use xlink:href="#icon-csdnc-Collection-G"></use>
</svg><span class="name">收藏</span></a></li>
<li class="tool-item tool-active is-share"><a href="javascript:;"><svg class="icon" aria-hidden="true">
<use xlink:href="#icon-csdnc-fenxiang"></use>
</svg>分享</a></li>
<!--打赏开始-->
<!--打赏结束-->
<li class="tool-item tool-more">
<a>
<svg t="1575545411852" class="icon" viewBox="0 0 1024 1024" version="1.1" xmlns="http://www.w3.org/2000/svg" p-id="5717" xmlns:xlink="http://www.w3.org/1999/xlink" width="200" height="200"><defs><style type="text/css"></style></defs><path d="M179.176 499.222m-113.245 0a113.245 113.245 0 1 0 226.49 0 113.245 113.245 0 1 0-226.49 0Z" p-id="5718"></path><path d="M509.684 499.222m-113.245 0a113.245 113.245 0 1 0 226.49 0 113.245 113.245 0 1 0-226.49 0Z" p-id="5719"></path><path d="M846.175 499.222m-113.245 0a113.245 113.245 0 1 0 226.49 0 113.245 113.245 0 1 0-226.49 0Z" p-id="5720"></path></svg>
</a>
<ul class="more-box">
<li class="item"><a class="article-report">文章举报</a></li>
</ul>
</li>
</ul>
</div>
</div>
<div class="person-messagebox">
<div class="left-message"><a href="https://blog.csdn.net/lyly1995">
<img src="https://profile.csdnimg.cn/7/5/1/3_lyly1995" class="avatar_pic" username="lyly1995">
<img src="https://g.csdnimg.cn/static/user-reg-year/2x/2.png" class="user-years">
</a></div>
<div class="middle-message">
<div class="title"><span class="tit"><a href="https://blog.csdn.net/lyly1995" data-report-click="{"mod":"popu_379"}" target="_blank">……Riesling</a></span>
</div>
<div class="text"><span>发布了36 篇原创文章</span> · <span>获赞 56</span> · <span>访问量 1万+</span></div>
</div>
<div class="right-message">
<a href="https://im.csdn.net/im/main.html?userName=lyly1995" target="_blank" class="btn btn-sm btn-red-hollow bt-button personal-letter">私信
</a>
<a class="btn btn-sm bt-button personal-watch" data-report-click="{"mod":"popu_379"}">关注</a>
</div>
</div>
</div>