利用语言运算的封闭性构造自动机 |
| |
作者姓名: | 陈文宇 |
| |
作者单位: | 电子科技大学,计算机科学与工程学院,四川,成都,610054 |
| |
基金项目: | 国防科技重点实验室基金资助项目(2000JS06.5.1.DZ0219) |
| |
摘 要: | 构造接收复杂语言的自动机是困难的,而复杂语言可以通过简单的语言进行语言间的运算而得到,根据右线性语言、上下文无关语言和上下文相关语言对联合,连接和迭代运算是封闭的特点,提出了利用简单自动机构造复杂自动机的方法.该方法实用、简便,同时也可以作为利用自动机证明语言对运算封闭性的理论基础.
|
关 键 词: | 语言 语言的运算 语言运算的封闭性 有限状态自动机 下推自动机 图灵机 |
文章编号: | 1001-9081(2004)12Z-0156-03 |
修稿时间: | 2004-03-29 |
本文献已被 CNKI 万方数据 等数据库收录! |
|