第一届形式语言讨论会在兰州举行

来源 :计算机学报 | 被引量 : 0次 | 上传用户:liuzixing0210
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
“形式语言”已成为计算机科学的一个公认的分支,它也给“数学”的一些领域,诸如“概率论”,“代数学”,“模糊数学”等提出了新的研究课题。为在这些领域内更好地了解国内外动态,交流学术成果,我国计算机科学界和数学界的一部分同志发起组织了“形式语言讨论会”这一学术团体,决定每年组织一届讨论会。 Formal language has become a recognized branch of computer science, and it has also proposed new research topics in some fields of mathematics such as Probability Theory, Algebra, and Fuzzy Mathematics. In order to better understand the dynamics at home and abroad and exchange academic achievements in these fields, some comrades in the field of computer science and mathematics in our country initiated and organized the academic forum of “formal language seminars” and decided to organize a seminar every year.
其他文献
腐败的实质是权力的变质。分析现阶段的腐败行为可以看出 ,一切腐败的主体都与权力有关 ,反腐败的重点是反权力腐败。因此 ,要深入持久而卓有成效地开展反腐败斗争 ,遏制腐败
腐败问题已成为当前社会的焦点。腐败现象的猖獗,有历史、社会经济、思想观念、国际环境、体制诸方面的深层次原因。为此,我们必须采取防范对策:以教育为本,筑牢思想道德防线
前言本模型机是为某机研制的部件。该机容量32字×49位,存取周期做到160ns。所用存储单元、驱动器、读写放大器组件是本所研制的。通过这台模型机的研制和试验,使我们对双极
杰克·伦敦是一位有世界影响的著名作家,在美国作家中,若论作品在国外被翻译的数量和读者的广泛程度,几乎无人能够和他相比。他创作的《热爱生命》、《海狼》、《荒野的呼唤
由一个“移动的元串扰源”及其等效电路出发,根据迭加原理,用浅显的作图方法,求出前向串扰和后向串扰的波形和串扰系数;并由前向串扰和后向串扰在静置线两端的反射,用作图迭
在现代车辆设计过程中 ,广泛采用的分析工具是采用试验方法对设计估算进行补充。有效利用时 ,则可导致开发时间的缩短和改善车辆的性能。一部自动变速箱 ( AT)装置的开发过程
随着微处理器的出现,由多至2~(14)到2~(16)个微处理器组成的大型并行处理系统已经有实现的可能。一种多处理机结构——SIMD(单指令流多数据流)并行处理方式——特别适合于发
国外Z—80微型计算机系统已普遍使用。但Z—80微型计算机种类繁多,从几片大规模集成电路组成的最小系统和单板计算机直至功能较强的(具有高级语言及操作系统)微型计算机系统
党的十七大高举中国特色社会主义伟大旗帜,围绕坚持和发展中国特色社会主义,把科学发展观确立为党的重要战略指导思想,提出了一系列新思路、新观点、新论断,集中体现了我们
进入高三复习阶段,时间紧,学生心理压力大,复习中若按部就班地进行,效果并不是很好。在以往的高考数学复习中,很多教师就是反复的让学生做题、讲解,学生参与度不高。高考前的