A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Automata Learning with On-the-Fly Direct Hypothesis Construction
[chapter]
2012
Communications in Computer and Information Science
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
doi:10.1007/978-3-642-34781-8_19
fatcat:ypmdcdhhrnhydiee4piu3asqm4