Polynomial time learning of simple deterministic languages via queries and a representative sample

  • Authors:
  • Yasuhiro Tajima;Etsuji Tomita;Mitsuo Wakatsuki;Matsuaki Terada

  • Affiliations:
  • Department of Computer, Information and Communication Sciences, Tokyo University of Agriculture and Technology, Naka-chou 2-24-16, Koganei, Tokyo 184-8588, Japan;Department of Information and Communication Engineering, The University of Electro-Communications, Chofugaoka 1-5-1, Chofu, Tokyo 182-8585, Japan;Department of Information and Communication Engineering, The University of Electro-Communications, Chofugaoka 1-5-1, Chofu, Tokyo 182-8585, Japan;Department of Computer, Information and Communication Sciences, Tokyo University of Agriculture and Technology, Naka-chou 2-24-16, Koganei, Tokyo 184-8588, Japan

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2004

Quantified Score

Hi-index 5.23

Visualization

Abstract

We show that simple deterministic languages are polynomial time learnable via membership queries if the learner knows a special finite set of positive examples. This finite set is called a representative sample and has been introduced by Angluin Inform. Control 51 (1981) to show that regular languages are polynomial time learnable via membership queries. If simple deterministic languages are learnable in polynomial time via membership and equivalence queries, we can obtain a representative sample of a target language in polynomial time from a correct hypothesis. Thus, our result implies that the polynomial time learning problem of simple deterministic languages via membership and equivalence queries is solvable if and only if we can find a representative sample in polynomial time via these queries. We show the learnability of simple deterministic languages by giving a learning algorithm. The algorithm, at the first stage, makes all possible candidate rules to generate the target language and a set of simple deterministic grammars which are little different each other. Then, comparing them, the algorithm eliminates inappropriate rules.