课题基金 / 基金详情

Finite-state machines and their extensions: Foundational questions and applications

Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
批准号：
RGPIN-2018-04110
负责人：
Salomaa, Kai
金额：
$3.5万
依托单位：
Queen's University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2021
资助国家：
加拿大
项目状态：
已结题
起止时间：
2021-01-01 至 2022-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=735522
关键词：
Finitestatemachinestheirextensions

项目摘要

项目成果

Salomaa, Kai的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Cellular automata algorithms; Decidability and undecidability; Finite-state machines; Formal languages; Limited nondeterminism; State and transition complexity; Visibly pushdown automata
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Finite-state machines and their extensions: Foundational questions and applications
  • 批准号：
    RGPIN-2018-04110
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $6.99万
  • 财政年份：
    2022
  • 负责人：
    Salomaa, Kai
  • 依托单位：
    Queen's University
Finite-state machines and their extensions: Foundational questions and applications
  • 批准号：
    RGPIN-2018-04110
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2020
  • 负责人：
    Salomaa, Kai
  • 依托单位：
    Queen's University
Finite-state machines and their extensions: Foundational questions and applications
  • 批准号：
    RGPIN-2018-04110
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2019
  • 负责人：
    Salomaa, Kai
  • 依托单位：
    Queen's University
Finite-state machines and their extensions: Foundational questions and applications
  • 批准号：
    RGPIN-2018-04110
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2018
  • 负责人：
    Salomaa, Kai
  • 依托单位：
    Queen's University
国内基金
海外基金
Simulation and certification of the ground state of many-body systems on quantum simulators
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    40万元
  • 批准年份：
    2020
  • 负责人：
    Abolfazl Bayat
  • 依托单位：
    电子科技大学
Cortical control of internal state in the insular cortex-claustrum region
微波有源Scattering dark state粒子的理论及应用研究
  • 批准号：
    61701437
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    28.0万元
  • 批准年份：
    2017
  • 负责人：
    李欢
  • 依托单位：
    浙江大学
超导量子器件中关于量子计算、电路量子电动力学和退相干的研究
  • 批准号：
    11174248
  • 项目类别：
    面上项目
  • 资助金额：
    75.0万元
  • 批准年份：
    2011
  • 负责人：
    王浩华
  • 依托单位：
    浙江大学