论文部分内容阅读
中国电子学会电子计算机学会暂定1983年10月召开计算机理论学术讨论会,征文内容通告如下: 1.形式语言理论; 2.可计算性与计算复杂性理论;
The Institute of Electronics and Computer Society of China Institute of Electronics tentatively holds the symposium on computer theory tentatively held in October 1983, the contents of which are as follows: 1. Formal language theory; 2. Computability and computational complexity theory;