Automata Learning with On-the-Fly Direct Hypothesis Construction
We present an active automata learning algorithm for Mealy state machines that directly constructs a state machine hypothesis according to observations, while other algorithms generate a state machine as output from information gathered in an observation table. Our DHC algorithm starts with a one-state hypothesis that it successively extends using a direct construction approach. This approach enables direct observation of the automata construction process: the learning algorithm continues to complete its hypothesis, providing intuition to a field of formal methods otherwise dominated by algorithms that largely operate on internal data structures without visible feedback.
The DHC algorithm is competitive in cases where memory is the critical issue, e.g., in embedded networked systems. It is also well-suited as educational tool to teach the underlying well-established theoretical methods in a totally unbiased fashion, without cluttering the view onto the actual idea of the learning process with aspects only relevant to internal bookkeeping.
KeywordsState Machine Input Symbol Automaton Learn Input Alphabet Membership Query
Unable to display preview. Download preview PDF.
- 4.Howar, F., Bauer, O., Merten, M., Steffen, B., Margaria, T.: The Teachers’ Crowd: The Impact of Distributed Oracles on Active Automata Learning. In: Hähnle, R., et al. (eds.) ISoLA 2011 Workshops. CCIS, vol. 336, pp. 232–247. Springer, Heidelberg (2012)Google Scholar
- 5.Jabbar, S.: External directed search. KI 21(1), 37–38 (2007)Google Scholar
- 6.Jabbar, S.: External memory algorithms for state space exploration in model checking and action planning. PhD thesis (2008)Google Scholar
- 7.Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. MIT Press, Cambridge (1994)Google Scholar
- 12.Niese, O.: An Integrated Approach to Testing Complex Systems. PhD thesis, University of Dortmund, Germany (2003)Google Scholar
- 18.Sulewski, D., Edelkamp, S., Kissmann, P.: Exploiting the computational power of the graphics card: Optimal state space planning on the gpu. In: Bacchus, F., Domshlak, C., Edelkamp, S., Helmert, M. (eds.) ICAPS. AAAI (2011)Google Scholar