On Learning Nominal Automata with Binders

Yi Xiao, Emilio Tuosto

We investigate a learning algorithm in the context of nominal automata, an extension of classical automata to alphabets featuring names. This class of automata captures nominal reg…