权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Avoidability and Decidability in Formal Languages and Automata

形式语言和自动机中的可避免性和可判定性

基本信息

批准号：
105829-2013
负责人：
Shallit, Jeffrey
金额：
$ 2.62万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2016
资助国家：
加拿大
起止时间：
2016-01-01 至 2017-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=593258
关键词：
Avoidability Decidability Formal Languages Automata

项目摘要

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 }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ 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
期刊：
DISCRETE MATHEMATICS
影响因子：
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
期刊：
DISCRETE MATHEMATICS
影响因子：
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
期刊：
DISCRETE MATHEMATICS
影响因子：
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
期刊：
THEORETICAL COMPUTER SCIENCE
影响因子：
1.1
作者：
Ackerman, Margareta;Shallit, Jeffrey
通讯作者：
Shallit, Jeffrey

Decidability of Sturmian Words

Sturmian 单词的可判定性

DOI：
发表时间：
2022
期刊：
30th EACSL Annual Conference on Computer Science Logic (CSL 2022
影响因子：
0
作者：
Hieronymi, Philipp;Ma, Dun;Oei, Reed;Schaeffer, Luke;Schulz, Christian;Shallit, Jeffrey
通讯作者：
Shallit, Jeffrey