论文部分内容阅读
本文讨论了Post系统中的正规系统.主要研究正规系统可计算性有关问题,研究正规系统与半Thue系统及正规系统与Turing机的关系.
正规系统可计算性研究
【摘 要】
：
本文讨论了Post系统中的正规系统.主要研究正规系统可计算性有关问题,研究正规系统与半Thue系统及正规系统与Turing机的关系.
【机 构】
：
西安交通大学计算机系统结构与网络研究所(西安)
【出 处】
：
2001年全国理论计算机科学学术会议
【发表日期】
：
2001年期
其他文献
校园网的建设,现代化教学手段迅速运用到各学科的课堂教学中来,为学校已掀起的教育教学改革的热潮,注入了生机和活力.本文作者结合创业教育课程的特点,借助于多媒体教学手段,
本文通过作者多年来的教学经验,分析了计算机教学在知识的广阔性、教学方法的多样星和灵活性的优势,并谈了如何发挥这种优势在素质教育中的作用,挖掘学生潜力,培养学生独立操
保温材料是一种缓解因为传导、对流、辐射所产生的热流速率的材料也可以是复合材料。高热阻是保温材料的特性，是以可以阻挡冷热气流进入或者是流出建筑物。保温材料保温的主要
进一步改革微机专业课程学,实施素质教育,成为职业学校教改的重要课题.本文根据微机专业课特点,并结合作者从事该专业教学实践,从发挥德育功能.让学生自信乐学、培养实践创新
中等职业教育的人才培养,包含科学文化知识教育、专业技术教育、敬业教育、择业教育、创业教育等几个相关联的方面,是整个教育过程的一个阶段,担负着双重的培养任务.教学上,
会议
指法训练是职业学校计算机专业的技能训练的重要课程之一.如何在压缩训练课时的同时,而又不降低训练指标,关键在于如何解决指法训练中的“高原反应”.本文就是探讨如何技能训
由于我国的地质条件较为复杂多变，所以在建筑工程施工前，都需要对工程所在地进行岩土勘察，若是地基基础不适宜施工建设就需要采取相应的方法对地基进行处理。
改革开放后，随着城市化进程的深入和发展，城市建设规模和城市发展水平日益扩大。然而，就中国目前的城市建设和发展水平而言，城市发展不平衡，城市建设之间的差距过大，这对于城市化的
自改革开放以来以来，尤其是国家“十一五”规划的完满实现，近几年我国的高层建筑施工技术得到很大的发展，已经达到了世界先进水平。相应地，深基坑的开掘使用日益增多，深基坑处理技