Polynomial-time learning of elementary formal systems Satoru MiyanoAyumi ShinoharaTakeshi Shinohara Regular Paper Pages: 217 - 242