基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的.本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定.文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向.
推荐文章
软件体系结构的属性图文法描述及其约束验证
软件体系结构
动态演化
属性图文法
验证
图文法EGG在设计模式中的应用
可视化语言
图文法
图变换
图重写
EGG
设计模式
基于图文法的可重构机床配置规划方法
图文法
可重构机床
配置规划
模块
新型属性图文法反应式规约验证方法
属性图文法
模型检测
关联属性
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 图文法综述
来源期刊 计算机科学 学科 工学
关键词 形式语言 图文法 嵌入问题 文法类型 成员问题
年,卷(期) 2008,(8) 所属期刊栏目
研究方向 页码范围 10-16
页数 7页 分类号 TP3
字数 10705字 语种 中文
DOI 10.3969/j.issn.1002-137X.2008.08.003
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 曾晓勤 河海大学计算机与信息工程学院 45 302 8.0 15.0
2 韩秀清 河海大学计算机与信息工程学院 4 30 3.0 4.0
3 邹阳 河海大学计算机与信息工程学院 6 19 2.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (6)
参考文献  (14)
节点文献
引证文献  (12)
同被引文献  (10)
二级引证文献  (26)
1972(1)
  • 参考文献(1)
  • 二级参考文献(0)
1982(2)
  • 参考文献(2)
  • 二级参考文献(0)
1988(1)
  • 参考文献(1)
  • 二级参考文献(0)
1995(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
1997(2)
  • 参考文献(2)
  • 二级参考文献(0)
1998(2)
  • 参考文献(1)
  • 二级参考文献(1)
2001(2)
  • 参考文献(2)
  • 二级参考文献(0)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(2)
  • 参考文献(1)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(2)
  • 参考文献(2)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(2)
  • 引证文献(2)
  • 二级引证文献(0)
2012(5)
  • 引证文献(4)
  • 二级引证文献(1)
2013(3)
  • 引证文献(1)
  • 二级引证文献(2)
2014(3)
  • 引证文献(2)
  • 二级引证文献(1)
2015(2)
  • 引证文献(1)
  • 二级引证文献(1)
2016(8)
  • 引证文献(0)
  • 二级引证文献(8)
2017(3)
  • 引证文献(0)
  • 二级引证文献(3)
2018(5)
  • 引证文献(0)
  • 二级引证文献(5)
2019(5)
  • 引证文献(0)
  • 二级引证文献(5)
研究主题发展历程
节点文献
形式语言
图文法
嵌入问题
文法类型
成员问题
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机科学
月刊
1002-137X
50-1075/TP
大16开
重庆市渝北区洪湖西路18号
78-68
1974
chi
出版文献量(篇)
18527
总下载数(次)
68
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导