期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
右线性文法与有限自动机等价性的一个新证明
1
作者
韩光辉
曾诚
《电脑与信息技术》
2012年第1期1-4,32,共5页
迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右...
迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文法与有限自动机的等价性;最后简要阐述了右线性方程组在有限自动机的矩阵模型和正则语言类的形式模型方面的研究意义。
展开更多
关键词
右线性文法
有限自动机
等价性
右线性方程组
最小解
下载PDF
职称材料
体上矩阵方程AXB＝C的求解
被引量：
1
2
作者
王卿文
林春艳
《烟台大学学报（自然科学与工程版）》
CAS
1996年第3期11-14,共4页
给出了任意体上的矩阵方程ＡＸＢ＝Ｃ相容的充要条件及其通解的矩阵算法。
关键词
矩阵方程
基础解系
基础解阵
弱直积
线性方程组
下载PDF
职称材料
题名
右线性文法与有限自动机等价性的一个新证明
1
作者
韩光辉
曾诚
机构
武汉商业服务学院信息工程系
武汉大学软工程国家重点实验室
出处
《电脑与信息技术》
2012年第1期1-4,32,共5页
基金
国家自然科学基金(项目编号:60873083)
湖北省教育科学"十一五"规划课题(项目编号:2010B338)
文摘
迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文法与有限自动机的等价性;最后简要阐述了右线性方程组在有限自动机的矩阵模型和正则语言类的形式模型方面的研究意义。
关键词
右线性文法
有限自动机
等价性
右线性方程组
最小解
Keywords
right
-
linear
grammar
finite
automata
equivalence
system
of
right
-
linear equations
minimal
solution
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
体上矩阵方程AXB＝C的求解
被引量：
1
2
作者
王卿文
林春艳
机构
昌潍师范专科学校数学系
山东财政学院基础部
出处
《烟台大学学报（自然科学与工程版）》
CAS
1996年第3期11-14,共4页
基金
山东省自然科学基金
文摘
给出了任意体上的矩阵方程ＡＸＢ＝Ｃ相容的充要条件及其通解的矩阵算法。
关键词
矩阵方程
基础解系
基础解阵
弱直积
线性方程组
Keywords
matrix
equation
over
a
skew
field
system
of
basic
solutions
basic
solution
matrix
weak
direct
product
homogeneous
system
of
right
linear equations
分类号
O151.21 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
右线性文法与有限自动机等价性的一个新证明
韩光辉
曾诚
《电脑与信息技术》
2012
0
下载PDF
职称材料
2
体上矩阵方程AXB＝C的求解
王卿文
林春艳
《烟台大学学报（自然科学与工程版）》
CAS
1996
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
