| 作成者 |
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
In this paper, we deal with inductive inference for a class of recursive languages with a bounded number of mind changes. We introduce an n-bounded finite tell-tale and a pair of n-bounded finite tell...- tales of a language, and present a necessary and sufficient condition for a class to be inferable with bounded mind changes, when the equivalence of any two languages in the class is effectively decidable. We also show that the inferability of a class from positive data strictly increases, when the allowed number of mind changes increases. In his previous paper, Mukouchi gave necessary and sufficient conditioils for a class of recursive languages to be finitely identifiable, that is, to be inferable without any mind changes from positive or complete data. The results we present in this paper are natural extensions of the above results.続きを見る
|
Mendeley出力
rifis-tr-58