切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
数集在不同进制下对应形式语言的研究
数集在不同进制下对应形式语言的研究
来源 :全国第十五届离散数学学术研讨会 | 被引量 : 0次 | 上传用户:liongliong578
【摘 要】
:
本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理,证明了该集合在b进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无
【作 者】
:
郭泽宇
朱洪
【机 构】
:
复旦大学计算机学院上海市智能信息处理重点实验室上海200433华东师范大学软件学院上海市高可信计算重点实验室上海200062
【出 处】
:
全国第十五届离散数学学术研讨会
【发表日期】
:
2010年8期
【关键词】
:
形式语言
泵引理
正则语言
上下文无关语言
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了整数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一日二次,连服三天,第四
期刊
前列腺素
完全流产
肠道反应
月经复潮
临床观察
服三
有效剂量
服用方法
宫颈扩张
阴道流血时间
浅谈水利工程施工中的混凝土裂缝分析
期刊
水利工程
混凝土
裂缝
282例宫内节育器取环分析
宫内节育器(IUD)是一种安全、简便、有效的避孕工具之一,易被我国广大育龄妇女所接受。为了解停用IUD的主要原因,提高其放环率,本人将1990年3月至1997年3月取环282例进行回顾性分析。1资料与方法 妇科
期刊
宫内节育器
惰性节育器
取器
带器妊娠
带环受孕
子宫异常出血
取出率
避孕工具
放环
子宫内膜腔
做好电力营业窗口优质服务的探讨
期刊
电力企业
营业窗口
优质服务
微处理器仿真系统软件体系结构分析
对微处理器仿真系统模型与仿真方法进行了探讨,对软件仿真进行了形式化定义,从指令仿真平均消耗时间上对不同软件仿真方法进行了比较。仿真模型和方法的分析对仿真系统软件体系
会议
微处理器
软件仿真
模型构建
软件体系结构
网络传输介质电气性能预测值的区间估计
阐述了综合布线系统中星型网络拓扑结构的特点和传输介质双绞线电气性能,建立了分析双绞线电气性能参数的关系矩阵,阐述了在综合布线工程建设之初,准确预估出所设计的网络传榆介
会议
命题逻辑推理的一个代数化证明方法
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
会议
命题逻辑推理
代数化证明
定理机械化证明
试析节水灌溉技术在农田水利工程中的应用
期刊
节水灌溉技术
农田水利工程
应用
论述土木工程结构设计与地基加固技术
期刊
土木工程
结构设计
地基加固技术
与本文相关的学术论文