| 确定有限自动机的逻辑形式定义 |
| |
| 引用本文： | 刘益,闵兰. 确定有限自动机的逻辑形式定义[J]. 西南师范大学学报(自然科学版), 2008, 33(5) |
| |
| 作者姓名： | 刘益 闵兰 |
| |
| 作者单位： | 1. 宜宾学院,计算机与信息科学系,四川,宜宾,644007
2. 成都理工大学,信息管理学院,四川,成都,610059 |
| |
| 摘 要： | 通过分析确定有限自动机状态转换函数的内在含义，引入有关的原子命题，得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性．
|
| 关 键 词： | 确定有限自动机 状态转换函数 命题逻辑 |
Logic Definition of Deterministic Finite Automaton |
| |
| LIU Yi,MIN Lan. Logic Definition of Deterministic Finite Automaton[J]. Journal of southwest china normal university(natural science edition), 2008, 33(5) |
| |
| Authors: | LIU Yi MIN Lan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《西南师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西南师范大学学报(自然科学版)》下载全文 |
|
