Learning two-tape automata from queries and counterexamples

T. Yokomori*

*この研究の対応する著者

研究成果: Article査読

5 被引用数 (Scopus)

抄録

We investigate the learning problem of two-tape deterministic finite automata (2-tape DFAs) from queries and counterexamples. Instead of accepting a subset of Σ*, a 2-tape DFA over an alphabet Σ accepts a subset of Σ* x Σ*, and therefore, it can specify a binary relation on Σ*. In [3] Angluin showed that the class of deterministic finite automata (DFAs) is learnable in polynomial time from membership queries and equivalence queries, namely, from a minimally adequate teacher (MAT). In this article we show that the class of 2-tape DFAs is learnable in polynomial time from MAT. More specifically, we show an algorithm that, given any language L accepted by an unknown 2-tape DFA M, learns from MAT a two-tape nondeterministic finite automaton (2-tape NFA) M′ accepting L in time polynomial in n and l, where n is the size of M and l is the maximum length of any counterexample provided during the learning process.

本文言語English
ページ(範囲)259-270
ページ数12
ジャーナルMathematical systems theory
29
3
出版ステータスPublished - 1996 5 1
外部発表はい

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • 数学 (全般)
  • 計算理論と計算数学

フィンガープリント

「Learning two-tape automata from queries and counterexamples」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル