上下文无关语言的递归函数理论的后续研究
基本信息
批准号：60273023
项目类别：面上项目
资助金额：24.00
负责人：董韫美
学科分类：
依托单位：中国科学院软件研究所
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：陈海明,黄文集
关键词：
上下文无关语言CFRF上的递归函数
结项摘要
上下文无关语言的递归函数(CFRF)理论的丰富化,完善化,系统化,试图成为针对计算机上非数值算法的算法理论。研究内容包括:CFRF的多种定义方法(面向理论研究的,面向算法表达的,面向实现的)及其等价性研究:CFRF性质的证明方法研究(CFRF意义下的程序正确性证明方),CFRF的应用的探索.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
2
基于LBS的移动定向优惠券策略
基于LBS的移动定向优惠券策略
DOI：10.3969/j.issn.1005-2542.2020.02.009
发表时间：2020
3
上转换纳米材料在光动力疗法中的研究进展
上转换纳米材料在光动力疗法中的研究进展
DOI：
发表时间：2017
4
肝癌多学科协作组在本科生临床见习阶段的教学作用及问题
肝癌多学科协作组在本科生临床见习阶段的教学作用及问题
DOI：10.3969/j.issn.1008-794X.2018.07.019
发表时间：2018
5
夏季极端日温作用下无砟轨道板端上拱变形演化
夏季极端日温作用下无砟轨道板端上拱变形演化
DOI：10.11817/j.issn.1672-7207.2022.02.023
发表时间：2022
董韫美的其他基金
批准号：68673024
批准年份：1986
资助金额：4.00
项目类别：面上项目
批准号：69073337
批准年份：1990
资助金额：5.00
项目类别：面上项目
批准号：69383001
批准年份：1993
资助金额：6.00
项目类别：专项基金项目
批准号：69673018
批准年份：1996
资助金额：14.00
项目类别：面上项目
批准号：69873042
批准年份：1998
资助金额：14.00
项目类别：面上项目
相似国自然基金
1
上下文无关语言上的递归函数研究
批准号：69873042
批准年份：1998
负责人：董韫美
学科分类：F0201
资助金额：14.00
项目类别：面上项目
2
基于递归函数理论的机器发现研究
批准号：69205004
批准年份：1992
负责人：李爱中
学科分类：F0603
资助金额：4.00
项目类别：青年科学基金项目
3
上下文无关文法在排列统计量研究中的应用
批准号：11526156
批准年份：2015
负责人：杨瑞龙
学科分类：A0408
资助金额：3.00
项目类别：数学天元基金项目
4
自然语言中的上下文有关现象处理研究
批准号：69773017
批准年份：1997
负责人：张松懋
学科分类：F0211
资助金额：11.00
项目类别：面上项目