Angluin Style Finite State Machine Inference with Non-optimal Counterexamples - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Angluin Style Finite State Machine Inference with Non-optimal Counterexamples

Abstract

Angluin's algorithm is a well known approach for learning black boxes as minimal deterministic finite automata in polynomial time. In order to infer finite state machines instead of automata, different variants of this algorithm have been proposed. These algorithms rely on two types of queries which can be asked to an oracle: output and equivalence queries. If the black box is not equivalent to the learnt model, the oracle replies with a counterexample. The complexity of these algorithms depends on the length of the counterexamples provided by the oracle. The aim of this paper is to compare the average practical complexity of three of these algorithms in the case of poor oracles, in particular when the counterexamples are constructed with random walks.
No file

Dates and versions

hal-00953394 , version 1 (28-02-2014)

Identifiers

Cite

Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Angluin Style Finite State Machine Inference with Non-optimal Counterexamples. 1st International Workshop on Model Inference In Testing, MIIT 2010, 2010, Trento, pp.11-19, ⟨10.1145/1868044.1868046⟩. ⟨hal-00953394⟩
164 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More