דנה פיסמן

Nearly all algorithms for learning an unknown regular language, in particular the popular L^∗ algorithm, yield deterministic finite automata. It was recently shown that the ideas of L^∗ can be extended to yield non-deterministic automata, and that the respective learning algorithm, NL^∗outperforms L^∗ on randomly generated regular expressions. We conjectured that this is due to the existential nature of regular expressions, and NL^∗ might not outperform L^∗ on languages with a universal nature. In this paper we introduce UL^∗ - a learning algorithm for universal automata (the dual of non-deterministic automata); and AL^∗ - a learning algorithm for alternating automata (which generalize both universal and non-deterministic automata). Our empirical results illustrate the advantages and trade-offs among L^∗NL^∗UL^∗ and AL^∗.