形式言語の極限同定/帰納的推論

Goldの提唱した「言語の学習」について関連論文を読んでいく

Solomonoff
Formal Theory of Inductive Inference. Part.I, II
Information and Control 7 (1964)
solomonoff.md
Gold
Language Identification in the Limit
Information and Control 10 (1967)
limit_identification.md
Angluin
On the Complexity of Minimum Inference of Regular Sets
Information and Control 39 (1978)
ang78.md
Angluin
Finding Patterns Common to a Set of Strings
ACM 1979 pp.130-141
ang79.md
Angluin
Positive Inference of Formal Languages from Positive Data
Information and Control 45 (1980)
ang80.md
Angluin
A Note on the Number of Queries Needed to Identify Regular Languages
Information and Control 51 (1981)
query_identify.md
Marron
Identification of Pattern Languages from Examples and Queries
Information and Computation 74 (1987)
ex_and_query.md
大阪府立大学 竹内正幸、佐藤優子
誤情報を含む正則パターン言語の多項式時間推論 (アルゴリズムと計算の理論)
数理解析研究所講究録 1998
false.md
Ng, Shinohara
Inferring Unions of the Pattern Languages by the Most Fitting Covers
Lecture Notes in CS, vol. 3734, 2005, pp. 269-282
ng2005.md
東北大学 赤間陽二
2006年度 計算機数学B 講義資料
http://www.math.tohoku.ac.jp/akama/Jugyou.html
tohoku.md
京都大学 大内、山本
正データからの極限同定における極小言語戦略への精密化の適用
IPSJ 2008
refine.md