Active Learning of Symbolic Mealy Automata

Kengo Irie, Masaki Waga, Kohei Suenaga

We propose ${\Lambda }_M^{\ast }$-an active learning algorithm that learns symbolic Mealy automata, which support infinite input alphabets and multiple output characters. Each of these two featur…