作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
形式化文法是编译理论及程序语言理论重要的研究内容之一,同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论,自动及非自动构造各种编译器的重要基础。通过递归,各种类型复杂度的程序语言都可以用文法简洁地进行描述。递归既是一种静态的结构,同时也是一种动态的计算方法。提出基于递归的形式化文法分析方法,重点包括基于递归的语言定义及基于递归的文法语言计算。
推荐文章
基于ANTLR的LL(k)文法消解冲突方法研究
LL(k)文法
ANTLR
测试语言
嵌入式电子系统
一种形式化开发非递归算法的方法
形式化方法
非递归
PAR
循环不变式
可靠性
形式语言文法在加密技术中的应用
形式语言
文法
模型
同态
非对称加密
对称加密
公开密钥加密
基于OCL文法的测试用例自动生成方法研究
对象约束语言
文法分析
约束条件分离
UML图
自动生成测试用例
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于递归的方法在形式文法教学中的作用
来源期刊 福建电脑 学科
关键词 编译原理 形式文法 递归 语言
年,卷(期) 2014,(12) 所属期刊栏目 教学与管理
研究方向 页码范围 160-162
页数 3页 分类号
字数 3754字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 陈冬火 苏州大学计算机科学与技术学院 14 58 5.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (11)
共引文献  (43)
参考文献  (3)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2006(2)
  • 参考文献(0)
  • 二级参考文献(2)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(1)
  • 参考文献(0)
  • 二级参考文献(1)
2009(9)
  • 参考文献(2)
  • 二级参考文献(7)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
编译原理
形式文法
递归
语言
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
福建电脑
月刊
1673-2782
35-1115/TP
大16开
福州市华林邮局29号信箱
1985
chi
出版文献量(篇)
21147
总下载数(次)
86
论文1v1指导