A prominent learning algorithm is Angluin's L* algorithm, which allows to learn a minimal deterministic automaton using so-called membership and equivalence queries addressed to a teacher. In many applications, however, a teacher might be unable to answer some of the membership queries because parts of the object to learn are not completely specified, not observable, it is too expensive to resolve these queries, etc. Then, these queries may be answered inconclusively. In this paper, we survey different algorithms to learn minimal deterministic automata in this setting in a coherent fashion. Moreover, we provide modifications and improvements for these algorithms, which are enabled by recent developments.

Titel Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Redakteure/-innen Tiziana Margaria, Bernhard Steffen
Band7609 LNCS
Herausgeber (Verlag)Springer Verlag
AuflagePART 1
ISBN (Print)978-3-642-34025-3
ISBN (elektronisch)978-3-642-34026-0
PublikationsstatusVeröffentlicht - 07.11.2012
Veranstaltung5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change
- Heraklion, Crete, Griechenland
Dauer: 15.10.201218.10.2012
Konferenznummer: 93454


Untersuchen Sie die Forschungsthemen von „Learning Minimal Deterministic Automata from Inexperienced Teachers“. Zusammen bilden sie einen einzigartigen Fingerprint.