| 线性语言和顺序语言关于置换的判定问题 |
| |
| 引用本文： | 王兵山,肖计田,黄晓秋.线性语言和顺序语言关于置换的判定问题[J].国防科技大学学报,1983(4):83-87. |
| |
| 作者姓名： | 王兵山 肖计田 黄晓秋 |
| |
| 摘 要： | S.Ginsburg和G.F.Rose在1]中利用可定义集合及顺序可定义集合的概念,得到了cfl(上下文无关语言)和sl(顺序语言)关于gsm(广义顺序机)和csm(完全顺序机)的制定问题之不可解性。本文用更初等的方法,不仅得到了ll和sl关于gsm和csm的制定问题之不可解性,而且还得到了ll(线性语言)和sl关于置换和同态的制定问题之不可解性,顺便还得到了ll和sl关于补运算的不封闭性。我们首先引进一些概念和记号。注意,凡是文中没有说明的概念和符号,都可以在1]和3]中找到。
|
| 收稿时间： | 1983/1/12 0:00:00 |
Some Decisoin Problems in a Linear Languages and Sequential Languages for a Substitution |
| |
| Wang Bingshan,Xiao Jitian and Huang Xiaoqiu.Some Decisoin Problems in a Linear Languages and Sequential Languages for a Substitution[J].Journal of National University of Defense Technology,1983(4):83-87. |
| |
| Authors: | Wang Bingshan Xiao Jitian and Huang Xiaoqiu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|
