Analysis on the decidability of the almost-universality problem for higher-order languages
Analysis on the decidability of the almost-universality problem for higher-order languages
高阶语言几乎普遍性问题的可判定性分析
批准号：
19K14582
负责人：
Ryoma Sin'ya
金额：
$1.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(22)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
正則可測性：正則言語による極限的な近似可能性
正则可测性：与正则语言的极度近似性
正则可测性：与正则语言的极度近似性
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Mamoru Okamoto, Kota Uriya, 小西幹人，犬伏正信，後藤晋, 宮崎隼人, Takashi Kagaya, 新屋良磨]
通讯作者：
新屋良磨
Automata with Three Types of Constraints
具有三种约束的自动机
具有三种约束的自动机
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Sugasawa Shonosuke, Morikawa Kosuke, Takahata Keisuke, Takashi Kagaya, 新屋良磨]
通讯作者：
新屋良磨
DOI：
10.1007/978-3-030-48516-0_23
发表时间：
2020-05-26
期刊：
Developments in Language Theory
影响因子：
--
作者：
[Sin’Ya R]
通讯作者：
Sin’Ya R
算術で強化したオートマトンと言語の有理性・代数性
自动机通过算术和语言的理性/代数性得到增强
自动机通过算术和语言的理性/代数性得到增强
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Sugasawa, S., Morikawa, K. and Takahata, K., 犬伏正信，後藤晋, Takashi Kagaya, 新屋良磨]
通讯作者：
新屋良磨
Measure theoretic approach to formal language theory
形式语言理论的测度理论方法
形式语言理论的测度理论方法
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[Taishi Kurahashi and Yuya Okawa, 可香谷隆, Ryoma Sin'ya]
通讯作者：
Ryoma Sin'ya
共 14 条
海外基金