| 识别可识 Gtb-语言族的不确定有限自动机 |
| |
| 引用本文： | 王传洪.识别可识 Gtb-语言族的不确定有限自动机[J].系统科学与数学,1988,8(4):341-345. |
| |
| 作者姓名： | 王传洪 |
| |
| 作者单位： | 兰州大学数学系 南开大学数学研究所 |
| |
| 摘 要： | 本文中,Σ为有限字母表,Σ~* 为Σ生成的自由幺半群. Σ~*的元素与子集分别称为Σ上的字与语言,2~(Σ*)表示Σ~*的幂集,(?)(Σ)=2~(Σ*)-{(?)}的子集称为Σ上的语言族.语言族通常是由分支自动机识别的.Havel 在1]中给出了通常的不确定有限自动机识别语言族的一种方式,且同时证明了一语言族 X 不确定可识的充要条件是存在一不
|
THE NONDETERMINISTIC FINITE AUTOMATON WHOSE GTB-FAMILY IS RECOGNIZABLE |
| |
| WANG CHUAN-HONG.THE NONDETERMINISTIC FINITE AUTOMATON WHOSE GTB-FAMILY IS RECOGNIZABLE[J].Journal of Systems Science and Mathematical Sciences,1988,8(4):341-345. |
| |
| Authors: | WANG CHUAN-HONG |
| |
| Institution: | Department of Mathematics,Lanzhou University |
| |
| Abstract: | In this paper,we discuss the nondeterministic finite automaton whose Gtb-family of lan-guages is recognizable and obtain a sufficient and necessary condition for the recognizability ofthe Gtb-family of languages.Hence the open problem posed by I.M.Havel in 1975 is solved. |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 |
| 点击此处可从《系统科学与数学》下载免费的PDF全文 |
