刷新
{{item.name}}会员
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
基本信息
- 批准号：RGPIN-2018-04110
- 负责人：
- 金额：$ 3.5万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Cellular automata algorithms; Decidability and undecidability; Finite-state machines; Formal languages; Limited nondeterminism; State and transition complexity; Visibly pushdown automata
元胞自动机算法可决定性和不可决定性;半状态机形式语言;有限非决定论;状态和过渡复杂性;可见下推自动机
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Salomaa, Kai其他文献
Finite-State Complexity and the Size of Transducers
- DOI：
10.4204/eptcs.31.6 - 发表时间：
2010-01-01 - 期刊：
- 影响因子：0
- 作者：
Calude, Cristian S.;Salomaa, Kai;Roblot, Tania K. - 通讯作者：
Roblot, Tania K.
Finite state complexity
- DOI：
10.1016/j.tcs.2011.06.021 - 发表时间：
2011-09-23 - 期刊：
- 影响因子：1.1
- 作者：
Calude, Cristian S.;Salomaa, Kai;Roblot, Tania K. - 通讯作者：
Roblot, Tania K.
STATE-SIZE HIERARCHY FOR FINITE-STATE COMPLEXITY
- DOI：
10.1142/s0129054112400035 - 发表时间：
2012-01-01 - 期刊：
- 影响因子：0.8
- 作者：
Calude, Cristian S.;Salomaa, Kai;Roblot, Tania K. - 通讯作者：
Roblot, Tania K.
THE EDIT-DISTANCE BETWEEN A REGULAR LANGUAGE AND A CONTEXT-FREE LANGUAGE
- DOI：
10.1142/s0129054113400315 - 发表时间：
2013-11-01 - 期刊：
- 影响因子：0.8
- 作者：
Han, Yo-Sub;Ko, Sang-Ki;Salomaa, Kai - 通讯作者：
Salomaa, Kai
State Complexity of Neighbourhoods and Approximate Pattern Matching
- DOI：
10.1142/s0129054118400099 - 发表时间：
2018-02-01 - 期刊：
- 影响因子：0.8
- 作者：
Ng, Timothy;Rappaport, David;Salomaa, Kai - 通讯作者：
Salomaa, Kai
Salomaa, Kai的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Salomaa, Kai', 18)}}的其他基金
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2022
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2020
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2019
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2018
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
- 批准号：
217321-2013 - 财政年份：2017
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
- 批准号：
217321-2013 - 财政年份：2016
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
- 批准号：
217321-2013 - 财政年份：2015
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
- 批准号：
217321-2013 - 财政年份：2014
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
- 批准号：
217321-2013 - 财政年份：2013
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Descriptional complexity of finite-state machines
有限状态机的描述复杂性
- 批准号：
217321-2008 - 财政年份：2012
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
Simulation and certification of the ground state of many-body systems on quantum simulators
- 批准号：
- 批准年份：2020
- 资助金额：40 万元
- 项目类别：
Cortical control of internal state in the insular cortex-claustrum region
- 批准号：
- 批准年份：2020
- 资助金额：25 万元
- 项目类别：
微波有源Scattering dark state粒子的理论及应用研究
- 批准号：61701437
- 批准年份：2017
- 资助金额：28.0 万元
- 项目类别：青年科学基金项目
超导量子器件中关于量子计算、电路量子电动力学和退相干的研究
- 批准号：11174248
- 批准年份：2011
- 资助金额：75.0 万元
- 项目类别：面上项目
以硫氧还蛋白还原酶为靶点的化学生物学研究
- 批准号：21002047
- 批准年份：2010
- 资助金额：19.0 万元
- 项目类别：青年科学基金项目
拓扑绝缘体中的强关联现象
- 批准号：11047126
- 批准年份：2010
- 资助金额：4.0 万元
- 项目类别：专项基金项目
分子高振动-转动激发态结构中的复杂相互作用
- 批准号：11074204
- 批准年份：2010
- 资助金额：38.0 万元
- 项目类别：面上项目
激光催化下的旋量凝聚原子：自旋混合与共振拍
- 批准号：10974045
- 批准年份：2009
- 资助金额：34.0 万元
- 项目类别：面上项目
基于SSD的大规模元数据处理技术研究
- 批准号：60970025
- 批准年份：2009
- 资助金额：30.0 万元
- 项目类别：面上项目
李超代数的表示和仿射李代数的VCS表示及双代数结构
- 批准号：10901028
- 批准年份：2009
- 资助金额：17.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2022
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Transforming regular expressions to finite-state machines
将正则表达式转换为有限状态机
- 批准号：
563494-2021 - 财政年份：2021
- 资助金额：
$ 3.5万 - 项目类别：
University Undergraduate Student Research Awards
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2020
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2019
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Finite-state machines and their extensions: Foundational questions and applications
有限状态机及其扩展：基础问题和应用
- 批准号：
RGPIN-2018-04110 - 财政年份：2018
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
EAGER: Teaching Computational Thinking through Programming Wearable Devices as Finite State Machines
EAGER：通过将可穿戴设备编程为有限状态机来教授计算思维
- 批准号：
1647023 - 财政年份：2016
- 资助金额：
$ 3.5万 - 项目类别：
Standard Grant
Quantifying Nondeterminism in Finite State Machines
量化有限状态机中的不确定性
- 批准号：
476202-2015 - 财政年份：2015
- 资助金额：
$ 3.5万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Descriptional complexity of finite-state machines
有限状态机的描述复杂性
- 批准号：
217321-2008 - 财政年份：2012
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Descriptional complexity of finite-state machines
有限状态机的描述复杂性
- 批准号：
217321-2008 - 财政年份：2011
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Descriptional complexity of finite-state machines
有限状态机的描述复杂性
- 批准号：
217321-2008 - 财政年份：2010
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual