期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
基于递归的方法在形式文法教学中的作用
1
作者 陈冬火 《福建电脑》 2014年第12期160-162,共3页
形式化文法是编译理论及程序语言理论重要的研究内容之一,同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论,自动及非自动构造各种编译器的重要基础。通过递归,各种类型复杂度的程... 形式化文法是编译理论及程序语言理论重要的研究内容之一,同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论,自动及非自动构造各种编译器的重要基础。通过递归,各种类型复杂度的程序语言都可以用文法简洁地进行描述。递归既是一种静态的结构,同时也是一种动态的计算方法。提出基于递归的形式化文法分析方法,重点包括基于递归的语言定义及基于递归的文法语言计算。 展开更多
关键词 编译原理 形式文法 递归 语言
下载PDF
Horn逻辑程序和形式文法之间的对应关系
2
作者 陈文彬 王驹 《计算机科学》 CSCD 北大核心 2003年第10期25-27,共3页
1引言 逻辑程序是一种知识表示的方法,是逻辑公式的有限集合,它起源于逻辑和定理自动证明.1974年,逻辑程序的概念首次出现在Kowalski的一篇文章中[1],然后在定理自动证明特别是Robison's的归结原理基础上发展了起来.随后20多年来,... 1引言 逻辑程序是一种知识表示的方法,是逻辑公式的有限集合,它起源于逻辑和定理自动证明.1974年,逻辑程序的概念首次出现在Kowalski的一篇文章中[1],然后在定理自动证明特别是Robison's的归结原理基础上发展了起来.随后20多年来,在逻辑程序领域提出了大量的重要概念. 展开更多
关键词 Horn逻辑程序 形式文法 知识表示 逻辑公式
下载PDF
一种基于符号形式文法的三维建模方法 被引量:1
3
作者 邹青青 姚保峰 +1 位作者 夏伟 陈晨 《安徽理工大学学报(自然科学版)》 CAS 2018年第4期24-29,共6页
在虚拟场景中模型数量激增的情况下,现有建模技术的生产代价随之大幅上升。基于符号形式文法的三维建模是一种新颖的建模方法,该方法从现实世界抽象出模型的文法产生式规则,通过产生式规则的叠加演算,提供一种从基础几何形状迭代生成目... 在虚拟场景中模型数量激增的情况下,现有建模技术的生产代价随之大幅上升。基于符号形式文法的三维建模是一种新颖的建模方法,该方法从现实世界抽象出模型的文法产生式规则,通过产生式规则的叠加演算,提供一种从基础几何形状迭代生成目标模型的过程。实现产生式规则的模型生成器允许用户采用CGA脚本描述规则,脚本为输入,三维模型为输出。实验证明:基于该方法的模型生成器其输出具有较高质量可视化效果和模型细节,其实现原理有利于模型的重用与重构;在批量三维场景建模场合,该方法有较高生产效率。 展开更多
关键词 三维建模 符号形式文法 产生式 虚拟现实
下载PDF
计算机处理汉字的两种运算和形式文法
4
作者 陈明远 《语言研究》 1982年第1期52-59,共8页
一前言 1.1 问题的提出中文信息处理系统,必须解决方块汉字的"表示"问题。不仅汉字要进行编码输入,而且字库要以数字化点阵方式或光学模拟方式存贮汉字的字形,通过汉字发生器,然后用显示或复印方式将汉字输出。同样重要的问题... 一前言 1.1 问题的提出中文信息处理系统,必须解决方块汉字的"表示"问题。不仅汉字要进行编码输入,而且字库要以数字化点阵方式或光学模拟方式存贮汉字的字形,通过汉字发生器,然后用显示或复印方式将汉字输出。同样重要的问题是,汉字的模式识别方面,也希望用某种运算和形式文法来表示汉字。 1.2 方块汉字的特点数理逻辑的创始人来布尼兹(Leibniz)和某些西方学者。 展开更多
关键词 汉字形体 形式文法 模式识别 独体字 字根 计算机处理 运算符 汉字字形 信息处理系统 部件
下载PDF
基于形状文法的岫岩满族剪纸艺术纹样在当代家具装饰中的应用探析 被引量:10
5
作者 岳涵 吴慧欣 +1 位作者 王玲 岳伟晗 《家具与室内装饰》 北大核心 2023年第3期21-26,共6页
岫岩满族剪纸产生于明清时期,是满汉文化融合的产物,也是诞生于白山黑水间的独特的艺术形式,为了探索岫岩满族剪纸艺术元素的实用价值,让传统文化及艺术形式“活态传承”。通过使用形式文法等设计方法对岫岩满族剪纸的构成要素进行提取... 岫岩满族剪纸产生于明清时期,是满汉文化融合的产物,也是诞生于白山黑水间的独特的艺术形式,为了探索岫岩满族剪纸艺术元素的实用价值,让传统文化及艺术形式“活态传承”。通过使用形式文法等设计方法对岫岩满族剪纸的构成要素进行提取、归纳和现代化推演,最终形成五套典型纹样推演案例,并进行现代图形构成的创新设计和应用。通过一系列的设计实践验证表明,将传统纹样进行现代化设计转化是一种有效的设计尝试,也是以家具装饰产品为载体进行民族文化弘扬和创新的一种路径。 展开更多
关键词 岫岩满族剪纸 纹样提取 家具设计 形式文法
下载PDF
自然语言处理:方法与技术 被引量:11
6
作者 张亚非 范建华 《计算机应用与软件》 CSCD 1998年第6期1-15,34,共16页
无论是作为一项科学前沿研究,还是一门应用学科,自然语言处理已引起人们越来越多的关注与重视。本文讨论了它的理论基础,主要计算模式,系统的实现技术,并扼要介绍了这一领域新的发展动向。
关键词 形式文法 语义分析语料库 计算机 自然语言处理
下载PDF
利用Mathematica软件模拟L-系统生成分形图 被引量:2
7
作者 薛全 纪玉波 《抚顺石油学院学报》 EI 2001年第1期64-67,共4页
简要介绍了L -系统的概念、文法规则以及L -系统生成图形的方法———“改写规则”和“龟形图法”。在阐述L -系统的原理和作图方法基础上 ,利用Mathematica数学软件提供的强大作图功能 ,简洁地生成了分形理论中一些非常典型的分形图 ,... 简要介绍了L -系统的概念、文法规则以及L -系统生成图形的方法———“改写规则”和“龟形图法”。在阐述L -系统的原理和作图方法基础上 ,利用Mathematica数学软件提供的强大作图功能 ,简洁地生成了分形理论中一些非常典型的分形图 ,实现了对低阶L -系统功能的模拟 ,得到的分形图与用C语言实现的L -系统生成的图形完全相同 ,但该方法简单实用 ,易于编程实现 ,对计算机的程序设计能力的要求大大降低。该方法可进一步扩展到生成更复杂的图形上。探讨了该方法在三维立体分形图生成方面的可行性 。 展开更多
关键词 L-系统 形式文法 分形几何 分数维图形学 Mathematicas软件
下载PDF
基于形式描述方法的文法进化算法研究(英文)
8
作者 刘国祥 董颖 刘明银 《计算机与应用化学》 CAS CSCD 北大核心 2006年第6期511-514,共4页
本文应用基于形式文法的方法,结合计算机科学中新兴有效的进化计算优化方法,进行了文法进化算法的有效性探索。通过运用巴科斯描述文法的四元组,强调了BNF产生式的设计,充分利用遗传操作来优化求解问题。并以有机化合物的分解(以离解能... 本文应用基于形式文法的方法,结合计算机科学中新兴有效的进化计算优化方法,进行了文法进化算法的有效性探索。通过运用巴科斯描述文法的四元组,强调了BNF产生式的设计,充分利用遗传操作来优化求解问题。并以有机化合物的分解(以离解能适应值进行适应度评价)为例子进行了算法设计,通过适应度函数择优,复制、交换和突变操作获得了实验结果。经过对结果的分析比较证明了算法的有效性。可以说是文法进化算法的成功探索。 展开更多
关键词 形式文法 进化算法 文法算法
原文传递
一种形式化上下无关文法关系驱动的设计模式检测方法 被引量:14
9
作者 肖卓宇 何锫 +2 位作者 余波 黎妍 杨鑫维 《工程科学学报》 EI CSCD 北大核心 2016年第10期1499-1508,共10页
针对设计模式识别结果的假阴性问题与重叠问题,为提高设计模式实例恢复的精确性,提出一种形式化上下无关文法关系驱动的设计模式检测方法.依据设计模式实例中的参与者属性及其关系,以形式化可视化语言描述模式实例的识别文法.在此基础上... 针对设计模式识别结果的假阴性问题与重叠问题,为提高设计模式实例恢复的精确性,提出一种形式化上下无关文法关系驱动的设计模式检测方法.依据设计模式实例中的参与者属性及其关系,以形式化可视化语言描述模式实例的识别文法.在此基础上,改进该文法检测设计模式实例参与者间的附加关系,并识别共享实例的模式.实验结果表明,新方法不仅减少了模式实例的假阴性结果,还解决了模式实例识别的重叠问题,与其他检测方法的精确度、召回率及F-score指标比较,新方法取得了较好的效果. 展开更多
关键词 模式识别 设计模式 检测 形式文法
原文传递
从乔姆斯基语言层级看一阶语言 被引量:1
10
作者 顾恒 《毕节学院学报(综合版)》 2013年第4期13-20,共8页
通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言... 通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言,从而存在一套形式文法生成它。本文就找到了一套可以生成一阶语言的形式文法,而且这套文法是上下文无关的,因此一阶语言不止是递归可枚举语言,还是上下文无关语言。更进一步地,借助哥德尔编码还可以构造一套生成一阶语言的正则文法,从而可以得出更强的结论:一阶语言是正则语言。 展开更多
关键词 一阶语言 乔姆斯基层级 生成文法 形式文法 正则语言
下载PDF
基于Pyparsing的LaTeX数学表达式解析
11
作者 宋丛威 《电脑编程技巧与维护》 2019年第5期4-6,16,共4页
用Python的解析工具Pyparsing对TeX文件中的数学公式进行解析。从数学类LaTeX文件中总结出LaTeX数学公式的上下文无关文法。用Pyparsing写出解析程序。解析结果可以表示LaTeX中数学公式的逻辑结构。该方法也可以用Wiki百科中数学公式的... 用Python的解析工具Pyparsing对TeX文件中的数学公式进行解析。从数学类LaTeX文件中总结出LaTeX数学公式的上下文无关文法。用Pyparsing写出解析程序。解析结果可以表示LaTeX中数学公式的逻辑结构。该方法也可以用Wiki百科中数学公式的解析。 展开更多
关键词 LaTeX系统 Pyparsing软件 PEG文法 BNF文法 上下文形式文法 正则表达式
下载PDF
国际数学界公认的以华人命名的数学研究成果
12
作者 禾子 《合肥学院学报(自然科学版)》 2007年第4期62-62,62,共1页
关键词 组合数学 研究成果 计算机互联网络 上下文无关文法 华人 国际 洛斯阿拉莫斯 形式文法
下载PDF
上下文无关语言上的递归函数——I.CFPRF及CFRF的定义 被引量:4
13
作者 董韫美 《中国科学(E辑)》 CSCD 北大核心 2002年第1期103-115,共13页
建立上下文无关语言(CFL)上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳... 建立上下文无关语言(CFL)上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子.基于CFL句子枚举,提出了极小算子的求值方法.最后,讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则. 展开更多
关键词 CFRF CFPRF 上下文无关语言 递归函数 CFL分层枚举 结构归纳法 形式文法 可计算性理论
原文传递
基于空间结构模式匹配的褶皱地貌类型自动识别 被引量:3
14
作者 陈楹 李安波 +1 位作者 姚蒙蒙 闾国年 《地球信息科学学报》 CSCD 北大核心 2016年第11期1500-1512,共13页
褶皱的自动化识别是构造解译、地貌类型划分、三维建模等工作的基础。目前,基于地形形态进行空间统计特征分析的地貌类型自动识别方法,难于满足以"对称重复"空间结构为特征的褶皱构造地貌的识别需要。本文以基于ARG的褶皱场... 褶皱的自动化识别是构造解译、地貌类型划分、三维建模等工作的基础。目前,基于地形形态进行空间统计特征分析的地貌类型自动识别方法,难于满足以"对称重复"空间结构为特征的褶皱构造地貌的识别需要。本文以基于ARG的褶皱场景建模为切入点,利用形式文法定义不同褶皱类型的空间结构模式,形成了一种基于空间结构模式匹配的褶皱构造自动识别方法,进而有效地支持了褶皱地貌的自动化识别。该方法包括4个环节:(1)根据核部地层与横切剖面线提取原则,提取可能存在褶皱的场景条带;(2)基于邻接ARG建模方法对场景条带进行场景空间结构的建模与化简;(3)将化简后的邻接ARG模型表达成句子,并通过判别其能否由模式文法推导而来,实现针对不同褶皱构造模式的匹配识别;(4)基于识别出的褶皱场景进行山、谷的进一步判别,最终确定褶皱构造地貌类型。实验表明,本方法可以较为准确地识别出庐山北部山地区域的褶皱构造,并确定褶皱地貌类型。该方法基本解决了构造地貌类型的自动化识别问题,是对传统地貌形态划分方法的有效补充。 展开更多
关键词 褶皱地貌 自动识别 空间结构 形式文法 模式匹配 庐山
原文传递
SPECIAL ISSUE: CULTURAL PHILOSOPHICAL STUDIES IN CHINA:Some theoretical characteristics of the philosophy of culture 被引量:1
15
作者 Chen Shulin 《Social Sciences in China》 2008年第4期163-173,共11页
Establishing a philosophical theory or a paradigm of philosophical understanding should be premised on its possession of a relatively well-defined research subject, relatively original research methodology, and relati... Establishing a philosophical theory or a paradigm of philosophical understanding should be premised on its possession of a relatively well-defined research subject, relatively original research methodology, and relatively outstanding theoretical objectives. In this regard, philosophy of culture aims at a general understanding of man through cultural symbols which in themselves are not the end of the research. Using the research methodology of historical science, philosophy of culture attempts to understand man as a non-continuous and heterogeneous being. The theoretical objective of philosophy of culture is the criticism and reconstruction of cultural patterns with cultural symbols at their core. 展开更多
关键词 philosophy of culture cultural symbolic forms methodology of historical science cultural patterns
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部