位置：立项数据库 > 立项详情页
程序及代数结构的逻辑性质
  • 项目名称：程序及代数结构的逻辑性质
  • 项目类别：面上项目
  • 批准号：60473005
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：王驹
  • 依托单位：广西师范大学
  • 批准年度：2004
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 30
  • 0
  • 0
  • 0
  • 0
期刊论文
基于描述逻辑的模糊ER模型
一种分布式动态描述逻辑
直觉模糊有限状态机的积
模糊树自动机的同余与同态
幺半环上几类模糊自动机的关系
概率有限自动机的积和分解
概率有限自动机的商和同态
输入存贮线性有限自动机积的讨论
由单个状态生成的有限自动机的一些性质
树自动机的同余与同态及其语言
知识格
模糊有限状态机的一些性质
有限模糊树自动机的一些代数性质与相应的语言
线性有限自动机零状态的作用
有限自动机积的初（末）态试验序列、UIO序列和同步序列
线性有限自动机的输入存贮性及其算法
路代数和有限自动机
模糊树自动机的积与覆盖
群环ZnG的代数性质及其结构
幺半环上一类有限状态自动机的约简性
一类有限自动机及其直积的试验序列
连通不可约变换半群的自同构群结构
有限自动机的积与路代数的张量积
有限识别器的状态等价及其性质
状态机和变换半群积的覆盖关系
有限群自动机的若干环论与图论性质
弱可逆有限自动机分解的一个结果
（r，f）阶存贮拟线性有限自动机的极小化
王驹的项目
程序及代数结构的逻辑性质
期刊论文 55 会议论文 1