Developments in computational learning and discovery theory within the framework of elementary formal systems
Setsuo Arikawa, Ayumi Shinohara, Masako Satô, Takeshi Shinohara · 2000
Abstract This paper surveys our studies on computational learning theory and computational discovery theory within the framework of elementary formal systems (EFSs for short), which are a kind of logic program on words, i.e., strings of characters. First we show that the EFSs are a good framework for discussing formal grammars and languages. Then we point out that EFSs work as a unifying framework for inductive inference of languages by discussing the model inference for EFSs in Shapiro’s sense.