Insights to Angluin's Learning

Electronic Notes in Theoretical Computer Science

Volumn 118, Issue , 2005, Pages 3-18

  Berg, Therese ^a   Jonsson, Bengt ^a   Leucker, Martin ^a   Saksena, Mayank ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

Deterministic finite state automata; Learning algorithm; Prefix closed regular languages; Regular languages

Indexed keywords

APPROXIMATION THEORY; FORMAL LANGUAGES; LEARNING ALGORITHMS; LEARNING SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; QUERY LANGUAGES; RANDOM PROCESSES;

DETERMINISTIC FINITE STATE AUTOMATA; MEMBERSHIP QUERIES; MEMORY CONSUMPTION; PREFIX CLOSED REGULAR LANGUAGES;

FINITE AUTOMATA;

EID: 13544255497     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.12.015     Document Type: Conference Paper

References (12)

1. D. Angluin Learning regaular sets from queries and counterexamples Information and Computation 75 1987 87 106
2. D. Angluin Queries revisited N. Abe R. Khardon T. Zeugmann Algorithmic Learning Theory, 12th International Conference 2001 Lecture Notes in Computer Science 2225 2001
3. Corbett, J., M. Dwyer, J. Hatcliff, S. Laubach, C. Pasareanu, Robby and H. Zheng, Bandera: Extracting finite-state models from java source code, in: Proc. 22nd Int. Conf. on Software Engineering, 2000
4. J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho An experiment in automatic generation of test suites for protocols with verification technology Science of Computer Programming 29 1997
5. J.-C. Grégoire G.J. Holzmann D.A. Peled The Spin Verification System DIMACS series 32 1997 American Mathematical Society 0-8218-0680-7 203
6. th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science 2280 2002 357 370
7. th Int. Conf. on Fundamental Approaches to Software Engineering Lecture Notes in Computer Science 2306 2002 80 95
8. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot STATEMATE: A working environment for the development of complex reactive systems IEEE Trans. on Software Engineering 16 1990 403 414
9. th Int. SPIN Workshop, Lecture Notes in Computer Science 1885 (2000), pp. 131-147
10. th Int. Conf. on Computer Aided Verification, 2003, to appear
11. K. Larsen, P. Pettersson, and W. Yi UPPAAL in a nutshell Software Tools for Technology Transfer 1 1997
12. M. Schmitt, M. Ebner, and J. Grabowski Test generation with autolink and testcomposer Proc. 2nd Workshop of the SDL Forum Society on SDL and MSC - SAM'2000 2000