Active Learning of Nondeterministic Finite State Machines
Joint Authors
Pacharoen, Warawoot
Aoki, Toshiaki
Bhattarakosol, Pattarasinee
Surarerks, Athasit
Source
Mathematical Problems in Engineering
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-11, 11 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-12-04
Country of Publication
Egypt
No. of Pages
11
Main Subjects
Abstract EN
We consider the problem of learning nondeterministic finite state machines (NFSMs) from systems where their internal structures are implicit and nondeterministic.
Recently, an algorithm for inferring observable NFSMs (ONFSMs), which are the potentially learnable subclass of NFSMs, has been proposed based on the hypothesis that the complete testing assumption is satisfied.
According to this assumption, with an input sequence (query), the complete set of all possible output sequences is given by the so-called Teacher, so the number of times for asking the same query is not taken into account in the algorithm.
In this paper, we propose LNM*, a refined ONFSM learning algorithm that considers the amount for repeating the same query as one parameter.
Unlike the previous work, our approach does not require all possible output sequences in one answer.
Instead, it tries to observe the possible output sequences by asking the same query many times to the Teacher.
We have proved that LNM* can infer the corresponding ONFSMs of the unknown systems when the number of tries for the same query is adequate to guarantee the complete testing assumption.
Moreover, the proof shows that our algorithm will eventually terminate no matter whether the assumption is fulfilled or not.
We also present the theoretical time complexity analysis of LNM*.
In addition, experimental results demonstrate the practical efficiency of our approach.
American Psychological Association (APA)
Pacharoen, Warawoot& Aoki, Toshiaki& Bhattarakosol, Pattarasinee& Surarerks, Athasit. 2013. Active Learning of Nondeterministic Finite State Machines. Mathematical Problems in Engineering،Vol. 2013, no. 2013, pp.1-11.
https://search.emarefa.net/detail/BIM-1009150
Modern Language Association (MLA)
Pacharoen, Warawoot…[et al.]. Active Learning of Nondeterministic Finite State Machines. Mathematical Problems in Engineering No. 2013 (2013), pp.1-11.
https://search.emarefa.net/detail/BIM-1009150
American Medical Association (AMA)
Pacharoen, Warawoot& Aoki, Toshiaki& Bhattarakosol, Pattarasinee& Surarerks, Athasit. Active Learning of Nondeterministic Finite State Machines. Mathematical Problems in Engineering. 2013. Vol. 2013, no. 2013, pp.1-11.
https://search.emarefa.net/detail/BIM-1009150
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1009150