Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
基本信息
- 批准号：105829-2013
- 负责人：
- 金额：$ 2.62万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2013
- 资助国家：加拿大
- 起止时间：2013-01-01 至 2014-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
My current research involves two areas from theoretical computer science: (i) decidability of problems in formal languages and automata theory and (ii) avoidability in words.
我目前的研究涉及理论计算机科学的两个领域：（i）正式语言和自动机理论中问题的可决定性，以及（ii）单词中的避免。
项目成果
期刊论文数量（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 }}
Shallit, Jeffrey其他文献
Avoiding squares and overlaps over the natural numbers
- DOI：
10.1016/j.disc.2009.06.004 - 发表时间：
2009-11-06 - 期刊：
- 影响因子：0.8
- 作者：
Guay-Paquet, Mathieu;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
Avoiding 3/2-powers over the natural numbers
- DOI：
10.1016/j.disc.2011.12.019 - 发表时间：
2012-03-28 - 期刊：
- 影响因子：0.8
- 作者：
Rowland, Eric;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
A pattern sequence approach to Stern's sequence
- DOI：
10.1016/j.disc.2011.07.029 - 发表时间：
2011-11-28 - 期刊：
- 影响因子：0.8
- 作者：
Coons, Michael;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
Efficient enumeration of words in regular languages
- DOI：
10.1016/j.tcs.2009.03.018 - 发表时间：
2009-09-01 - 期刊：
- 影响因子：1.1
- 作者：
Ackerman, Margareta;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES
- DOI：
10.1142/s0129054112400448 - 发表时间：
2012-08-01 - 期刊：
- 影响因子：0.8
- 作者：
Charlier, Emilie;Rampersad, Narad;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
Shallit, Jeffrey的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Shallit, Jeffrey', 18)}}的其他基金
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2022
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2021
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2020
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2019
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2018
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2017
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2016
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2015
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2014
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Descriptional complexity, combinatorics on words, formal languages and number theory
描述复杂性、单词组合学、形式语言和数论
- 批准号：
105829-2008 - 财政年份：2012
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2017
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2016
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2015
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2014
- 资助金额：
$ 2.62万 - 项目类别：
Discovery Grants Program - Individual
Formal Languages, Codes and Cryptosystems
形式语言、代码和密码系统
- 批准号：
10440034 - 财政年份：1998
- 资助金额：
$ 2.62万 - 项目类别：
Grant-in-Aid for Scientific Research (B).