检索结果-南通市图书馆

正规表达式到无空标注Petri网的构造方法

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2008年第S2期20卷 15-19,24页

作者：束德勤范昊山东农业大学信息科学与工程学院泰安271018

已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并... 详细信息

已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子"//"的正规表达式到恰当终结的标准Petri网(无ε-空标注)的转换算法。

关键词：恰当终结的标准Petri网 Petri网正规语言正规表达式语言

在线全文

学校读者我要写书评

暂无评论

正规表达式与恰当终结的标准Petri网

计算机工程 2007年第17期33卷 13-16页

作者：范昊吴哲辉中国科学院计算技术研究所智能信息处理开放实验室山东科技大学信息科学与工程学院青岛266510

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪... 详细信息

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪"、kleene闭包运算"*"、并行运算"∥"的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。

关键词：恰当终结的标准Petri网 Petri网正规语言正规表达式语言

在线全文

学校读者我要写书评

暂无评论

ω-自动机与扩大了的正规表达式

北京师范大学学报（自然科学版） 1997年第4期33卷 448-452页

作者：别荣芳北京师范大学数学系北京100875

在提出扩大了的正规表达式的概念的基础上，建立ω－自动机与扩大了的ω－正规表达式之间的1－1对应，并给出了2类不能构造出确定型ω－自动机的ω－正规表达式（语言）．

关键词：正规表达式正规算子 ω-自动机自动机

在线全文

学校读者我要写书评

暂无评论

基于正规表达式的程序阅卷系统设计与实现

基于正规表达式的程序阅卷系统设计与实现

作者：于淑香苏州大学

学位级别：硕士

程序设计语言中的程序题自动阅卷是实现无纸化考试的关键和难点。目前应用的自动评分系统大多具有忽视考生程序的内部结构特征,评分结果不准确,不完全,缺乏柔性等缺点。虽然有许多专家学者致力于找出一种程序的中间表示形式,并以中间表... 详细信息

程序设计语言中的程序题自动阅卷是实现无纸化考试的关键和难点。目前应用的自动评分系统大多具有忽视考生程序的内部结构特征,评分结果不准确,不完全,缺乏柔性等缺点。虽然有许多专家学者致力于找出一种程序的中间表示形式,并以中间表示形式作为标准答案与考生程序进行匹配,但这种方法是将程序整体作为比较对象,也有失灵活性。通过研究国内外相关文献资料,本文提出将程序题的分数分解为四部分,即语法分、测试分、知识要点分和结果分。根据上述的分值结构,评分系统大致分为三个模块:首先,对于可编译运行而且结果正确的考生程序,通过功能测试模块进行算法和程序功能的测试,结合测试结果,给出评分。其次,对能编译运行但是结果错误的考生程序,通过知识要点评分模块对程序进行分析即把程序分成多个独立的知识要点模块,并用正规表达式描述,而后在考生程序中去搜索这些知识要点。最后,对不能编译运行的程序,则需先用语法分析模块对其进行词法、语法分析,给出语法分;然后再进行知识要点分析即在考生程序中搜索知识要点,根据搜索结果给出程序知识要点分;本系统已进入测试阶段,初步实验结果证明该系统运行稳定,评分标准能够统一,与人工评分的结果大致相符,评分过程更注重考生程序的内部结构,提高了评阅过程的公正性、合理性和准确性。

关键词：语法分析正规表达式编译原理功能测试

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

浅述GNU正规表达式支持库

程序员 2001年第A4期 71-76,31页

作者：徐明

本文从正规表达式讲起,由浅入深,还谈及了部分的参数详解,广大程序员关注的移植问题,希望能给正在读这方面内容的读者们一些帮助。1 正规表达式简介正规表达式(regular expression)是一种对字符串结构的形式描述,使用正规表达式可以在... 详细信息

本文从正规表达式讲起,由浅入深,还谈及了部分的参数详解,广大程序员关注的移植问题,希望能给正在读这方面内容的读者们一些帮助。1 正规表达式简介正规表达式(regular expression)是一种对字符串结构的形式描述,使用正规表达式可以在文本中做极强的字符串匹配操作。Unix用户对他一定不会陌生,有大量的常用软件支持正规表达式,如vi、

关键词：正规表达式支持库字符串不匹配函数操作符文本编译参数传递形式描述

语言表达式到Petri网模型的转化及其算法

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2011年第4期32卷 726-731页

作者：张继军范昊山东农业大学信息科学与工程学院山东泰安271018

已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了P... 详细信息

已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了Petri网的有界覆盖合成运算,研究有界覆盖合成网的语言性质,给出将同步交错正规表达式转换为Petri网模型的算法,从而实现了语言表达式到Petri网模型的等价转化.

关键词：正规表达式 α闭包表达式同步交错正规表达式有界覆盖合成

在线全文

学校读者我要写书评

暂无评论

有界Petri网的进程表达式

中国科学（A辑） 1995年第12期25卷 1334-1340页

作者：吴哲辉山东矿业学院应用数学与软件工程系泰安271019

提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法。一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式。它所表示的正规集是该Petri网全体满进程的集合。所谓满进程,是指每个s... 详细信息

提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法。一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式。它所表示的正规集是该Petri网全体满进程的集合。所谓满进程,是指每个s切对应着Petri网的一个可达标识的那类进程。

关键词： Petri网进程正规表达式算法

在线全文

学校读者我要写书评

暂无评论

几小时变几秒钟正则表达式实例秀

电脑爱好者 2005年第11期 77-79页

作者：软件DIY

经常用电脑做文字处理的朋友应该遇到过很多麻烦事,其中最让人头痛的莫过于搜索和替换了。如果只是简单的“ABC”换成“AAC”当然简单,但如果是将所有“ABC”、“ACC”都转换为“ADC”,是不是有些麻烦了?其实只要学会“正则表达式”,这... 详细信息

经常用电脑做文字处理的朋友应该遇到过很多麻烦事,其中最让人头痛的莫过于搜索和替换了。如果只是简单的“ABC”换成“AAC”当然简单,但如果是将所有“ABC”、“ACC”都转换为“ADC”,是不是有些麻烦了?其实只要学会“正则表达式”,这些问题均迎刃而解。

关键词：正则表达式单击正规表达式元字符普通字符

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

正则表达式在趋势型着陆预报纠错中的应用

空中交通 2017年第4期 55-57页

作者：杨大海柳林民航吉林空管分局

引言正则表达式（Regular Expressions），又称规则表达式或正规表达式，最早于1956年由数学家Stephen Kleene在对自然语言的递增研究成果的基础上提出来。几经发展，正则表达式的标准已经被国际标准化组织（ISO）批准并被Open Group组... 详细信息

引言正则表达式（Regular Expressions），又称规则表达式或正规表达式，最早于1956年由数学家Stephen Kleene在对自然语言的递增研究成果的基础上提出来。几经发展，正则表达式的标准已经被国际标准化组织（ISO）批准并被Open Group组织认定。正则表达式并非一种专门的语言，而是字符处理的一种标准，它现在已经被越来越多的工具软件所支持，

关键词：正则表达式国际标准化组织应用纠错预报着陆自然语言正规表达式