Learning deterministic even linear languages from positive examples

Theoretical Computer Science

Volumn 185, Issue 1, 1997, Pages 63-79

  Koshiba, Takeshi ^a   Mäkinen, Erkki ^b   Takada, Yuji ^a  

^a FUJITSU LABORATORIES LTD   (Japan)

^b TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; LEARNING ALGORITHMS;

LINEAR LANGUAGES;

LEARNING SYSTEMS;

EID: 0031251289     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00016-9     Document Type: Article

References (13)

1. V. Amar, G. Putzolu, On a family of linear grammars, Inform. Control 7(3) (1964) 283-291.
2. D. Angluin, Inductive inference of formal languages from positive data, Inform. Control 45(2) (1980) 117-135.
3. D. Angluin, Inference of reversible languages, J. Assoc. Comput. Machinery 29(3) (1982) 741-765.
4. Z. Galil, G.F. Italiano, Data structures and algorithms for disjoint set union problems, ACM Comput. Surveys, 23(3) (1991) 319-344.
5. E.M. Gold, Language identification in the limit, Inform. Control 10(5) (1967) 447-474.
6. M.A. Harrison, Introduction to Formal Language Theory, Addison-Wesley, Reading, MA, 1978.
7. S. Lange, T. Zeugmann, Types of monotonic language learning and their characterization, in: Proc. 5th Ann. ACM Workshop on Computational Learning Theory, ACM Press, 1992, New York, pp. 377-390.
8. B. Lewin, Genes V, Oxford University Press, Oxford, 1994.
9. E. Mäkinen, A note on the grammatical inference problem for even linear languages, Fundam. Inform. 25(2) (1996) 175-181.
10. Y. Takada, Grammatical inference for even linear languages based on control sets, Inform. Processing Lett. 28(4) (1988) 193-199.
11. Y. Takada, Learning formal languages based on control sets, Lecture Notes in Artificial Intelligence, Vol. 961, Springer, Berlin, 1995, pp. 316-339.
12. Y. Takada, A hierarchy of language families learnable by regular language learning, Inform. Comput. 123(1) (1995) 138-145.
13. R.E. Tarjan, Efficiency of a good but not linear set union algorithm, J. Assoc. Comput. Machinery 22(2) (1975) 215-225.