论文部分内容阅读
该文研究了计算机科学理论中的可计算性理论、自动机理论、计算复杂性理论、程序文法、程序语言等，讨论了印刷电路的布线问题。（李励摘）
全国计算机理论学术讨论会论文集
【摘 要】
：
该文研究了计算机科学理论中的可计算性理论、自动机理论、计算复杂性理论、程序文法、程序语言等，讨论了印刷电路的布线问题。（李励摘）
【出 处】
：
全国计算机理论学术讨论会
【发表日期】
：
1983年期
其他文献
提出在傅里叶计算全息中，只要对虚拟物的频谱进行简单的坐标变换，就可获得虚拟物的多种形式的再现像，如切变、旋转和翻转等，文中阐明了此种坐标变换的原理和方法，给出了与理论相符
使用程序型个人计算器，把焊缝射经探伤最少曝光次数Ｎ、一次曝光透照长度Ｌ〈，３〉、底片有效评定长度Ｌｅｆｆ参数的计算公式内存于计算器之中。使用时，只需向计算器输入工件外径Ｄ、厚度Ｔ、射源
新闻写作思想问题,在我们平常从事新闻工作中提得并不太多。许多人简单地认为,新闻工作者的使命就是及时准确地报道好新近发生的有价值的事件。笔者却以为新闻工作者的写作
该文给出了分支时序逻辑ＣＴＬ的一个基于自动机理论的模型检验算法。作者将模型检验问题规约为树自动机的成员问题，即判定给定树是否为自动机所接收。通过模拟自动机在树上所有可能