Elementary Formal System as a Unifying Framework for Language Learning

@inproceedings{Arikawa1989ElementaryFS,
  title={Elementary Formal System as a Unifying Framework for Language Learning},
  author={Setsuo Arikawa and Takeshi Shinohara and Akihiro Yamamoto},
  booktitle={COLT},
  year={1989}
}
This paper presents a unifying 1rame.irorli lor language leanling, especially for inducti-~e inference of various ci;lsses of languages. The elementary formal systen~s (EFS for short), S rnxll~an inr-entcd to cieveiop his recursive function theory, are proved suita'i~ic. to gen ern! e languages. In this paper we Grst poilit out that EFS can also work as a logic programming language; ancl the lesolutiolz pruccc!ure [or EFS car1 i3e used to accept languages. M e give a tlacorcticai foundation to… CONTINUE READING