|
|||||
|
|
| 基于量子逻辑的下推自动机的代数刻画 | |
| 作者姓名： | 韩召伟 李永明 |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西,西安,710062;陕西师范大学计算机科学学院,陕西,西安,710062;陕西师范大学计算机科学学院,陕西,西安,710062 |
| 基金项目： | 国家自然科学基金,陕西师范大学青年科技项目 |
| 摘 要： | 首先,本文提出量子下推自动机（简记为L-VPDA）的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 |
| 关 键 词： | 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 代数刻画 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |