上下文无关语言的递归函数理论的后续研究
基本信息
批准号：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
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
2
Fe-Si合金在600℃不同气氛中的腐蚀
Fe-Si合金在600℃不同气氛中的腐蚀
DOI：DOI: 10.11902/1005.4537.2013.169
发表时间：2014
3
融合字符串特征的维吾尔语形态切分
融合字符串特征的维吾尔语形态切分
DOI：
发表时间：2022
4
衬砌背后空洞对隧道地震响应影响的振动台试验研究
衬砌背后空洞对隧道地震响应影响的振动台试验研究
DOI：10.13722/j.cnki.jrme.2019.0547
发表时间：2019
5
一类随机泛函微分方程带随机步长的EM逼近的渐近稳定
一类随机泛函微分方程带随机步长的EM逼近的渐近稳定
DOI：10.21656/1000-0887.390057
发表时间：2019
董韫美的其他基金
批准号：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
项目类别：面上项目