A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees

Yong Li, Yu-Fang Chen, Lijun Zhang +1

In this paper, we propose a novel algorithm to learn a Büchi automaton from a teacher who knows an $\omega$-regular language. The algorithm is based on learning a formalism named family…