数集在不同进制下对应形式语言的研究

来源 :全国第十五届离散数学学术研讨会 | 被引量 : 0次 | 上传用户:liongliong578
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理,证明了该集合在b进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无关语言。
其他文献
设(X,d)为紧致度量空问,F={fk}∞k=1为X上的连续映射序列。 设x0∈X,定义×1=f1(x0),x2=f2(×1),…,xn+1=fn+1(xn),…,n=0,1,2,…,则称(X,F)为广义离散动力系统。介绍了几个新定义
为探讨米非司酮配伍前列腺素终止早孕的最小有效剂量及服用方法,我院对180例妊娠35~49天的健康妇女,按服药天数的不同分为两组:对照组服用米非司酮25mg一日二次,连服三天,第四
宫内节育器(IUD)是一种安全、简便、有效的避孕工具之一,易被我国广大育龄妇女所接受。为了解停用IUD的主要原因,提高其放环率,本人将1990年3月至1997年3月取环282例进行回顾性分析。1资料与方法 妇科
对微处理器仿真系统模型与仿真方法进行了探讨,对软件仿真进行了形式化定义,从指令仿真平均消耗时间上对不同软件仿真方法进行了比较。仿真模型和方法的分析对仿真系统软件体系
阐述了综合布线系统中星型网络拓扑结构的特点和传输介质双绞线电气性能,建立了分析双绞线电气性能参数的关系矩阵,阐述了在综合布线工程建设之初,准确预估出所设计的网络传榆介
会议
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。