期刊文献+
共找到185篇文章
< 1 2 10 >
每页显示 20 50 100
Several variants of the Dumont differential system and permutation statistics 认领
1
作者 Shi-Mei Ma Toufik Mansour +1 位作者 David GLWang Yeong-Nan Yeh 《中国科学:数学英文版》 SCIE CSCD 2019年第10期2033-2052,共20页
The Dumont differential system on the Jacobi elliptic functions was introduced by Dumont(1979)and was extensively studied by Dumont, Viennot, Flajolet and so on. In this paper, we first present a labeling scheme for t... The Dumont differential system on the Jacobi elliptic functions was introduced by Dumont(1979)and was extensively studied by Dumont, Viennot, Flajolet and so on. In this paper, we first present a labeling scheme for the cycle structure of permutations. We then introduce two types of Jacobi pairs of differential equations. We present a general method to derive the solutions of these differential equations. As applications,we present some characterizations for several permutation statistics. 展开更多
关键词 JACOBI ELLIPTIC functions Dumont differential system PERMUTATION STATISTICS context-free GRAMMARS
A Grammatical Approach of Multi-Localization of GUIs: Application to the Multi-Localization of the Checkers Game GUI 认领
2
作者 Maurice Tchoupé Tchendji Freddy-Viany Tatou Ahoukeng 《软件工程与应用(英文)》 2018年第11期552-567,共16页
By proposing tools that help for the accomplishment of tasks in almost all sectors of activities, computer science has revolutionized the world in a general way. Nowadays, it addresses the peculiarities of peoples thr... By proposing tools that help for the accomplishment of tasks in almost all sectors of activities, computer science has revolutionized the world in a general way. Nowadays, it addresses the peculiarities of peoples through their culture in order to produce increasingly easy-to-use software for end users: This is the aim of software localization. Localizing a software consists among other things, in adapting its GUI according to the end user culture. We propose in this paper a generic approach allowing accomplishing this adaptation, even for multi-user applications like gaming applications, collaborative editors, etc. Techniques of functional interpretations of abstracts structures parameterized by algebras, constitute the formal base of our approach. 展开更多
关键词 GUIs Context-Free GRAMMARS Multi-Localization Abstract Syntax Tree and Its Interpretations XML GUI Description Language HASKELL
在线阅读 免费下载
跨组织业务过程协同多视图模型 认领
3
作者 笪建 莫启 +5 位作者 李彤 代飞 朱锐 骆霄 林雷蕾 程耀坤 《计算机应用研究》 CSCD 北大核心 2015年第9期2687-2692,共6页
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与... 为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。 展开更多
关键词 跨组织业务过程 协同 异步通信 上下文无关 PI演算
在线阅读 下载PDF
Interrelation of Languages of Colored Petri Nets and Some Traditional Languages 认领
4
作者 Goharik R. Petrosyan Andrey M. Avetisyan Lilit A. Ter-Vardanyan 《建模与仿真(英文)》 2013年第3期27-29,共3页
The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L* Context-free language. This language... The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L* Context-free language. This language may not be modeled using standard Petri Nets [1]. The Venn graph and diagram that the author modified [1], show the interrelation between languages of Colored Petri Nets and some Traditional languages. Thus the class of languages of Colored Petri Nets is supposed to include an entire class of Context-free languages. 展开更多
关键词 PETRI NETS COLORED PETRI NETS Context-Free LANGUAGES CONTEXT-SENSITIVE LANGUAGES REGULAR LANGUAGES
在线阅读 免费下载
An Entertaining Example of Using the Concepts of Context-Free Grammar and Pushdown Automation 认领
5
作者 Krasimir Yordzhev 《离散数学期刊(英文)》 2012年第3期105-108,共4页
A formal-linguistic approach for solving an entertaining task is offered in this paper. The well-known task of the Hanoi towers is discussed in relation to some concepts of formal languages and grammars. A context-fre... A formal-linguistic approach for solving an entertaining task is offered in this paper. The well-known task of the Hanoi towers is discussed in relation to some concepts of formal languages and grammars. A context-free grammar which generates an algorithm for solving this task is described. A deterministic pushdown automation which in its work imitates the work of monks in solving the task of the Hanoi towers is built. 展开更多
关键词 Context-Free GRAMMAR Context-Free Language Pushdown AUTOMATION HANOI TOWERS Discrete MATHEMATICS Learning
在线阅读 免费下载
LR(K) Parser Construction Using Bottom-up Formal Analysis 认领
6
作者 Nazir Ahmad Zafar 《软件工程与应用(英文)》 2012年第1期21-28,共8页
Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In ... Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In formal verification of software, semantics of a language has more meanings than the syntax. It means source program verification does not give guarantee the generated code is correct. This is because the compiler may lead to an incorrect target program due to bugs in itself. It means verification of a compiler is much more important than verification of a source program. In this paper, we present a new approach by linking context-free grammar and Z notation to construct LR(K) parser. This has several advantages because correctness of the compiler depends on describing rules that must be written in formal languages. First, we have defined grammar then language derivation procedure is given using right-most derivations. Verification of a given language is done by recursive procedures based on the words. Ambiguity of a language is checked and verified. The specification is analyzed and validated using Z/Eves tool. Formal proofs are presented using powerful techniques of reduction and rewriting available in Z/Eves. 展开更多
关键词 COMPILER CONSTRUCTION LR(K) PARSER Context-Free Grammar Z Specification CORRECTNESS Verification
在线阅读 免费下载
A complexity analysis of the elementary cellular automaton of rule 122 认领
7
作者 Zhisong Jiang 《中国科学通报:英文版》 SCIE CAS 2001年第7期600-603,共4页
S. Wolfram initiated the use of formal languages and automata theory in study of cellular automata (CAs). By means of extensive experiments with computer, he classified all CAs into four classes and conjectured that ... S. Wolfram initiated the use of formal languages and automata theory in study of cellular automata (CAs). By means of extensive experiments with computer, he classified all CAs into four classes and conjectured that the limit languages of the third class of CAs, which produce chaotic aperiodic behavior, are not regular. Using symbolic dynamics and formal languages, we prove that the limit language of the elementary CA of rule 122 is neither regular nor context-free. 展开更多
关键词 cellular AUTOMATON FORMAL LANGUAGE COMPLEXITY limit LANGUAGE REGULAR LANGUAGE context-free language.
前后文无关和有关问题的语法分析规范化算法的研究与设计 认领
8
作者 张伟 王岩 《吉林工业大学学报》 CSCD 1995年第2期 106-109,共4页
对现今编译方法中解决前后文有关问题的方法进行了分析,提出了一种表结构和在语法分析器中插入动作解决相关性问题的策略和方法,从而有效的解决了前后文无关和有关问题的规范化算法的实现问题。
关键词 前后文无关 前后文有关 语法分析 程序语言
dBASE—Ⅲ的一个自然语言接口 认领
9
作者 苏林英 《内蒙古大学学报:自然科学版》 CAS CSCD 1993年第2期 213-224,共12页
本文介绍一个陈述语句的自然语言dBASE-Ⅲ接口。该接口识别的自然语言是英语的一个集。接口的结构及组成部分和句型分析器、解释器在本文都给予了详细的介绍。该接口是在IBMPC及其兼容机上用Turbo prolog实现的。该实现有极高兼容性。
关键词 自然语言处理 分析器 dBASEⅢ
在线阅读 下载PDF
连续语义学及其分析量词位置和辖域问题的尝试 认领
10
作者 石运宝 邹崇理 《重庆理工大学学报:社会科学》 CAS 2020年第4期6-16,共11页
“连续”概念从最初萌芽到正式提出再到现在被广泛应用到计算科学、形式语义学、逻辑学等领域,经历了半个多世纪的历程,到目前仍被沿用。“连续”在词的层面上可视为该词出现的语境。“连续”在计算科学领域指某个函数的“未来”,即与... “连续”概念从最初萌芽到正式提出再到现在被广泛应用到计算科学、形式语义学、逻辑学等领域,经历了半个多世纪的历程,到目前仍被沿用。“连续”在词的层面上可视为该词出现的语境。“连续”在计算科学领域指某个函数的“未来”,即与该函数相关并使得计算得以继续的新函数。在形式语义学领域,“连续”类似于某些语法(如组合范畴语法)中的类型提升操作,但不同的是,连续语义学将整个语法做了类型提升。第一部分介绍“连续”概念的涵义,第二部分给出连续语义学示例,第三部分介绍计算科学界著名的值传递和名字传递两种化简方式对应的连续语义,最后通过量词问题解析,展示“连续”在形式语义学领域中的重要价值。 展开更多
关键词 连续 语境自由语法 值传递 名字传递 量词位置问题 量词辖域歧义问题
在线阅读 免费下载
关于正则语言的子集的研究 认领
11
作者 饶淑珍 聂佳 +1 位作者 过榴晓 朱平 《科教导刊》 2020年第24期36-38,共3页
基于泵引理和正则语言的代数判定定理,本文证明了正则语言的子集未必是正则语言。以L={x|x∈{0,1}^*,且x中(10)和(10)作为子串出现次数相等}为例,文中通过构造等价语言L’={x|x∈{0,1}^*,且x的首尾字符相同}证明了L的正则性,其子集L2={0... 基于泵引理和正则语言的代数判定定理,本文证明了正则语言的子集未必是正则语言。以L={x|x∈{0,1}^*,且x中(10)和(10)作为子串出现次数相等}为例,文中通过构造等价语言L’={x|x∈{0,1}^*,且x的首尾字符相同}证明了L的正则性,其子集L2={01)^n(10)^n|n≥0}易通过泵引理证明不是正则语言。最后将结论推广到上下文无关语言中。 展开更多
关键词 正则语言 正则语言的代数判定定理 泵引理 上下文无关语言
在线阅读 下载PDF
自然语言建筑设计规范条文的规则表达式自动提取方法 认领
12
作者 魏然 舒赛 +1 位作者 余宏亮 骆汉宾 《土木工程与管理学报》 北大核心 2019年第1期109-114,122共7页
基于BIM的建筑专业施工图合规性自动审查改变了传统的人工审图模式,提高了审图效率。其中关键步骤是将自然语言建筑设计规范条文转换为计算机可理解并执行的格式,即提取建筑设计规范条文的规则表达式。人工提取过程效率低且容易出错,为... 基于BIM的建筑专业施工图合规性自动审查改变了传统的人工审图模式,提高了审图效率。其中关键步骤是将自然语言建筑设计规范条文转换为计算机可理解并执行的格式,即提取建筑设计规范条文的规则表达式。人工提取过程效率低且容易出错,为此,本文借助上下文无关文法对自然语言建筑设计规范条文进行语法分析,得出计算机可理解的知识内容。对最小的语法单位语素进行分析,将名词、情态词、比较词以计算机可理解的表达构建语素库;按照动词表现关系将规范分成五类,推导出各类规范规则表达式的提取方法及其判断依据,并构建方法库。实现了规范条文规则表达式的自动提取,为建立基于BIM的建筑专业施工图合规性自动审查系统打下坚实基础。 展开更多
关键词 自然语言 建筑设计规范条文 规则表达式 上下文无关文法
在线阅读 下载PDF
一种基于结构划分及字符串重组的口令攻击方法 认领 被引量:1
13
作者 章梦礼 张启慧 +2 位作者 刘文芬 胡学先 魏江宏 《计算机学报》 EI CSCD 北大核心 2019年第4期913-928,共16页
身份认证是网络安全的一道重要防线,口令长期以来一直是身份认证的主流方式,口令攻击是口令安全研究的重要手段.基于概率上下文无关文法(Probabilistic Context-Free Grammar, PCFG)和基于Markov链的模型是目前效果最为显著的两类口令... 身份认证是网络安全的一道重要防线,口令长期以来一直是身份认证的主流方式,口令攻击是口令安全研究的重要手段.基于概率上下文无关文法(Probabilistic Context-Free Grammar, PCFG)和基于Markov链的模型是目前效果最为显著的两类口令攻击方法,它们分别从子结构组成层面和字符前后依赖层面对口令进行有效地建模刻画.该文中,作者在综合上述两类模型优点的基础上提出了一种基于结构划分及字符串重组的口令攻击方法,记为SPSR模型:首先将口令划分成抽象的子结构,然后利用改进的Markov链模型生成子结构中字符、数字和符号等构成的子串,以同时兼顾模型的准确性和泛化能力.此外,作者在结构划分阶段还额外引入了常用字符段,并加入了索引位对特殊字符在口令中的位置进行了明确地刻画;在字符串重组阶段,通过递归的思想减少子串概率计算中的重复计算,给出了一个改进的OMEN算法——Recursive-OMEN算法.为了验证SPSR模型的有效性,分别在6个真实的中英文口令集上进行了实验测试.结果表明,按概率递减顺序生成相同规模的猜测口令集时,新提出的Recursive-OMEN算法比OMEN算法用时缩短了10倍左右;在相同的猜测次数下考察攻击效果时,SPSR模型比基于Markov链的模型能多破解出40%~50%的口令,比基于PCFG的模型能多破解出20%左右的口令. 展开更多
关键词 口令攻击 概率上下文无关文法 OMEN算法 马尔可夫链 口令结构 字符串重组 常用字符集
在线阅读 下载PDF
基于Early算法的藏文句法分析研究与实现 认领
14
作者 德格加 安见才让 《计算机时代》 2018年第9期8-10,共3页
句法分析是自然语言处理中的关键一环,它连接更基础的词法分析和更高级的语义分析。文章通过厄尔利(Early)算法分析藏语句子的语法结构,并利用计算机程序实现藏文句子自动分析,生成句法分析树,对藏语句法分析的研究提供了较好的思路,具... 句法分析是自然语言处理中的关键一环,它连接更基础的词法分析和更高级的语义分析。文章通过厄尔利(Early)算法分析藏语句子的语法结构,并利用计算机程序实现藏文句子自动分析,生成句法分析树,对藏语句法分析的研究提供了较好的思路,具有探索价值。 展开更多
关键词 上下文无关文法 (Early)算法 藏语句法分析 句法分析树
在线阅读 下载PDF
结构分析法在海外汉字教学中的应用 认领
15
作者 Feng Zhiwei 《国际汉语教育(中英文)》 2018年第3期49-61,共13页
在海外汉字教学中,我们使用上下文无关语法来描述和分析汉字的结构,把部件看成汉字结构的枢纽。本文以11种汉字结构方式作为上下文无关语法的非终极符号,以独体汉字、汉字偏旁和对称结构的汉字作为上下文无关语法的终极符号,并用多层次... 在海外汉字教学中,我们使用上下文无关语法来描述和分析汉字的结构,把部件看成汉字结构的枢纽。本文以11种汉字结构方式作为上下文无关语法的非终极符号,以独体汉字、汉字偏旁和对称结构的汉字作为上下文无关语法的终极符号,并用多层次树形图或与之等价的括号式来表示汉字的结构。本文使用这种结构分析方法,分别对由三个、四个、五个、六个、七个、八个、九个部件构成的合体汉字进行了分析和描述。此外,我们还用框型图示,直观地描述了合体汉字中部件的书写顺序。这种结构分析方法在海外汉字教学中是行之有效的。 展开更多
关键词 汉字 上下文无关语法 汉字结构方式 多层次树形图 括号式
在线阅读 下载PDF
对《科学》和《自然》上两个递归实验的质疑:基于对汉语母语者的测试 认领
16
作者 丁彧藻 陈保亚 《外国语》 CSSCI 北大核心 2018年第5期81-89,共9页
递归假说(Hauser,Chomsky&Fitch 2002)认为狭义的语言官能(FLN)只包括计算机制递归并为人类所独有。Fitch&Hauser(2004)对棉顶狨猴的实验支持了递归假说,而Gentner等人(2006)对欧椋鸟的实验否定了该假说。然而,两个实验使... 递归假说(Hauser,Chomsky&Fitch 2002)认为狭义的语言官能(FLN)只包括计算机制递归并为人类所独有。Fitch&Hauser(2004)对棉顶狨猴的实验支持了递归假说,而Gentner等人(2006)对欧椋鸟的实验否定了该假说。然而,两个实验使用了无意义的人工语音序列(AB)2和A2B2模式作为基线训练刺激材料,存在方法论的缺陷,主要体现为声音语符列内部离散单位的切分无法确定,从而无法划分其语法结构,因此也无从得知非人类的动物是否学会了中心内嵌递归的上下文无关文法。使用汉语中音节序列为(AB)。和解B。模式的词语对汉语母语者的测试表明,母语者主要是采用了迭代的规则加工这两种模式,而不是中心内嵌递归的上下文无关文法。 展开更多
关键词 离散单位 递归假说 有限状态语法 上下文无关文法
在线阅读 下载PDF
基于首要教学原理指导的“编译原理”课程教学实践 认领 被引量:2
17
作者 孙守卿 《电脑知识与技术:学术交流》 2018年第11Z期177-178,共2页
《编译原理》是计算机科学与技术专业的与计算机专业的主干课程,具有理论性强、内容抽象等特点。根据梅瑞尔首要教学原理,结合编译原理的课程内容以'解决问题'为核心,通过唤醒旧知、展示新知、应用新知、归纳总结、融会贯通五... 《编译原理》是计算机科学与技术专业的与计算机专业的主干课程,具有理论性强、内容抽象等特点。根据梅瑞尔首要教学原理,结合编译原理的课程内容以'解决问题'为核心,通过唤醒旧知、展示新知、应用新知、归纳总结、融会贯通五个阶段完成编译原理课程中语法分析的教学过程,取得了良好的教学效果。 展开更多
关键词 梅瑞尔首要教学原理 编译程序 语法分析 语法分析树 上下文无关文法
在线阅读 下载PDF
语义ELECTRE-TRI风险评估模型构建 认领 被引量:1
18
作者 牟能冶 仇戈 《中国安全科学学报》 CAS CSCD 北大核心 2018年第1期44-49,共6页
针对信息缺乏条件下的风险评估问题,考虑评估指标的异质性与非补偿性,构建基于消去和选择转换树(ELECTRE-TRI)的风险评估模型。首先,要求评估专家利用自由语义评估信息(CFGJ)或其扩展形式可能性分布-犹豫语言集(PD-HFLTS)刻画并... 针对信息缺乏条件下的风险评估问题,考虑评估指标的异质性与非补偿性,构建基于消去和选择转换树(ELECTRE-TRI)的风险评估模型。首先,要求评估专家利用自由语义评估信息(CFGJ)或其扩展形式可能性分布-犹豫语言集(PD-HFLTS)刻画并处理不确定风险评估信息;然后,利用ELECTRE-TRI构造潜在危险事件风险评估信息与风险等级划分阈值间的优先关系;并借助评估信息与阈值信息间的优先关系确定危险事件的风险等级;最后,通过实例检验所建模型。结果表明:CFGJ与PD-HFLTS在描述不确定风险评估信息的丰富程度以及语义信息计算精度方面具有突出优势,基于ELECTRE-TRI的风险评估模型,在处理风险评估指标间的非补偿性方面有较好的可行性与有效性。 展开更多
关键词 风险评估 自由语义评估信息(CFGJ) 非补偿性 不确定性 可能性分布-犹豫语言集(PD-HFLTS) 消去和选择转换树(ELECTRE-TRI)
量化上下文无关语言的代数性质 认领 被引量:1
19
作者 付雯静 韩召伟 《计算机科学》 CSCD 北大核心 2017年第7期57-60,88共5页
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
关键词 双幺赋值幺半群 量化下推自动机 量化上下文无关文法 量化上下文无关语言
在线阅读 免费下载
取值于赋值幺半群的加权上下文无关文法及其语言 认领 被引量:1
20
作者 王月 李永明 《模糊系统与数学》 北大核心 2017年第1期165-173,共9页
上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文... 上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。 展开更多
关键词 赋值幺半群 加权上下文无关文法 加权上下文无关语言 加权Chomsky范式 加权Greibach范式
上一页 1 2 10 下一页 到第
使用帮助 返回顶部 意见反馈