| 研究課題/領域番号 |
23K10976
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 秋田大学 |
|---|
研究代表者 |
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2025年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2024年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2023年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | automata / complexity / regularity / rewriting |
|---|
| 研究開始時の研究の概要 |
Complexity of non-classical automata can be expressed quantitatively by the number of non-regular transitions they perform while processing inputs. I aim to generalize the concept of non-regular steps to Turing machine computations, which allows treating several stronger-than-regular models in the same framework. The key question is how much of the non-regular resources allows qualitative changes, i.e., larger classes of accepted languages. The goal is a non-regular complexity theory, where languages are classified based on the number of non-regular transitions made by their minimal machines.
|
