取值于赋值幺半群的加权下推自动机的代数性质

• 作者: 付雯静 韩召伟
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 赋值幺半群 双幺赋值幺半群 加权下推自动机 加权上下文无关语言
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 9-16
• 页数: 8页
• 分类号: TP301.1|O159
• 字数: 8906字
• 语种: 中文
• DOI: 10.15983/j.cnki.jsnu.2017.03.133

摘要

引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭.结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩召伟	陕西师范大学数学与信息科学学院	11	40	2.0	5.0
2	付雯静	陕西师范大学数学与信息科学学院	2	2	1.0	1.0