文法
来源:互联网 发布:大疆无人机飞行软件 编辑:程序博客网 时间:2024/05/16 18:04
规则,也称重写规则、产生式或生成式,是形如a->β或a::=β的(a,β)有序对。其中a为左部,β为右部,符号“->(::=)”读作“定义为”。
文法四元组G(Vn,Vt,P,S)
Vn为非终结符集,一般用大写字母表示
Vt为终结符集,一般用小写字母表示
P生成式集合
S开始符或识别符
乔姆斯基将文法分为四种类型:0型文法(相当于图灵机,递归可枚举)
1型文法:上下文有关的(context-sensitive)
2型文法:上下文无关的(context-free)
3型文法:正规文法
上下文无关是指文法的生成式可以表示为A->β,表示用β取代A时,与A所在的上下文无法;
与此相对的上下文有关方法指生成式表示为aAb->aβb,即若要用β取代A,必须有a和b出现
―――――――――摘自编译原理第二版
- 文法
- 文法
- 乔姆斯基文法
- 乔姆斯基文法
- 简单文法
- 属性文法
- 文法分析
- 文法例题
- 属性文法
- 文法分析
- SNL文法
- 文法相关
- C++文法
- 文法分类
- 正则文法和上下文无关文法
- 上下文无关文法、上下文有关文法
- 编译原理----中的文法及文法类型
- 英语文法_1
- STL应用篇
- 登录竟然进入了五猪和二狗的网上家园
- C# 开发和使用中的23个技巧
- 扫荡川西大巡游(组图)
- Ntbackup简单使用实例
- 文法
- 不解,搜狐blog为什么要屏蔽“系统”两个字
- C#基础概念二十五问
- 【账务管理系统】数据库设计篇
- 女大学生的280块川西环游功略(含帐单)
- 将DataSet中的内容输出到Excel文件
- 浅谈数字电视CA技术
- WinXP系统网络不能互访七大解决之道
- C# 怎样实现远程连接SQL Server2005