Parallel learning of automatic classes of languages

被引:0
作者
Jain, Sanjay [1 ]
Kinber, Efim [2 ]
机构
[1] Natl Univ Singapore, Sch Comp, Singapore 117417, Singapore
[2] Sacred Heart Univ, Dept Comp Sci, Fairfield, CT 06432 USA
关键词
Inductive inference; Automatic classes; Parallel learning; INDUCTIVE INFERENCE; POWER;
D O I
10.1016/j.tcs.2016.07.029
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We introduce and explore a model for parallel learning of families of languages computable by finite automata. In this model, an algorithmic or automatic learner takes on n different input languages and identifies at least m of them correctly. For finite parallel learning, for large enough families, we establish a full characterization of learnability in terms of characteristic samples of languages. Based on this characterization, we show that it is the difference n - m, the number of languages which are potentially not identified, which is crucial. Similar results are obtained also for parallel learning in the limit. We consider also parallel finite learnability by finite automata and obtain some partial results. A number of problems for automatic variant of parallel learning remain open. (C) 2016 Elsevier B.V. All rights reserved.
引用
收藏
页码:25 / 44
页数:20
相关论文
共 23 条
  • [1] TRAINING SEQUENCES
    ANGLUIN, D
    GASARCH, WI
    SMITH, CH
    [J]. THEORETICAL COMPUTER SCIENCE, 1989, 66 (03) : 255 - 272
  • [2] INDUCTIVE INFERENCE OF FORMAL LANGUAGES FROM POSITIVE DATA
    ANGLUIN, D
    [J]. INFORMATION AND CONTROL, 1980, 45 (02): : 117 - 135
  • [3] [Anonymous], 1998, COMBINATORIAL OPTIMI
  • [4] Regular frequency computations
    Austinat, H
    Diekert, V
    Hertrampf, U
    Petersen, H
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 330 (01) : 15 - 21
  • [5] Balodis K., 2011, MEMICS, P76
  • [6] Biegel R., 1996, THEORETICAL COMPUTER, V163, P177
  • [7] TOWARD A MATHEMATICAL THEORY OF INDUCTIVE INFERENCE
    BLUM, L
    BLUM, M
    [J]. INFORMATION AND CONTROL, 1975, 28 (02): : 125 - 155
  • [8] Automatic structures
    Blumensath, A
    Grädel, E
    [J]. 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 51 - 62
  • [9] PRUDENCE AND OTHER CONDITIONS ON FORMAL LANGUAGE-LEARNING
    FULK, MA
    [J]. INFORMATION AND COMPUTATION, 1990, 85 (01) : 1 - 11
  • [10] LANGUAGE IDENTIFICATION IN LIMIT
    GOLD, EM
    [J]. INFORMATION AND CONTROL, 1967, 10 (05): : 447 - &