形式语言——四类文法
来源:互联网 发布:windows版平板电脑 编辑:程序博客网 时间:2024/06/11 05:21
参考:形式语言
文法定义
0-型文法(无限制文法或短语结构文法)包括所有的文法。该类型的文法能够产生所有可被图灵机识别的语言。可被图灵机识别的语言是指能够使图灵机停机的字串,这类语言又被称为递归可枚举语言。注意递归可枚举语言与递归语言的区别,后者是前者的一个真子集,是能够被一个总停机的图灵机判定的语言。
1-型文法(上下文相关文法)生成上下文相关语言。这种文法的产生式规则取如 αAβ -> αγβ 一样的形式。这里的A 是非终结符号,而 α, β 和 γ 是包含非终结符号与终结符号的字串;α, β 可以是空串,但 γ 必须不能是空串;这种文法也可以包含规则 S->ε ,但此时文法的任何产生式规则都不能在右侧包含 S 。这种文法规定的语言可以被线性有界非确定图灵机接受。
2-型文法生成上下文无关语言。这种文法的产生式规则取如 A -> γ 一样的形式。这里的A 是非终结符号,γ 是包含非终结符号与终结符号的字串。这种文法规定的语言可以被非确定下推自动机接受。上下文无关语言为大多数程序设计语言的语法提供了理论基础。
3-型文法(正规文法)生成正规语言。这种文法要求产生式的左侧只能包含一个非终结符号,产生式的右侧只能是空串、一个终结符号或者一个非终结符号后随一个终结符号;如果所有产生式的右侧都不含初始符号 S ,规则 S -> ε 也允许出现。这种文法规定的语言可以被有限状态自动机接受,也可以通过正则表达式来获得。正规语言通常用来定义检索模式或者程序设计语言中的词法结构。
总结
0 0
- 形式语言——四类文法
- 文法的乔姆斯基体系——形式语言与自动机理论
- 四类文法
- 编译原理——四种文法类型
- 形式语言与自动机之核心——乔姆斯基体系
- 形式语言与自动机理论——上下无关语言
- 形式语言与自动机之语言识别机器——下推自动机
- 自然语言理解(三)—— 逻辑形式语言
- 编译原理实验四——算符优先文法语法分析
- 文法和语言——文法的分类
- 四种文法
- “形式语言与自动机”中的基本概念与部分结论:文法-语言-自动机
- 计算理论研习资料搜集一——自动机与形式语言
- 形式语言与自动机之语言识别机器——有穷状态自动机
- 读《统计自然语言处理》——形式语言与自动机【未看完】
- 编译原理———文法
- 词法分析——使用正则文法
- 编译原理——文法类别
- 多线程还是多进程的选择及区别
- EhCache缓存
- Android 使用动态加载框架DL进行插件化开发
- BIEE 仪表盘提示变量设置
- 非阻塞同步算法与CAS(Compare and Swap)无锁算法
- 形式语言——四类文法
- css样式大全
- C++学习体会
- ios url上加cooking
- snmp的使用
- 准备工作
- iOS开发之AsyncSocket使用教程
- InnoDB主要特性、概念和架构
- 关于CoreData版本迁移的问题