We propose a query learning algorithm for constructing a minimal DSFA M that separates given two regular languages L+ and L-, i.e., L+⊆L(M) and L-∩L(M)=∅. Our algorithm extends the algorithm for learning separating DFAs by Chen et al. (TACAS 2009) embedding the algorithm for learning DSFAs by Argyros and D’Antoni (CAV 2018). Since the problem of finding a minimal separating automaton is NP-hard, we also propose two heuristic methods to learn a separating DSFA which is not necessarily minimal. One runs faster and the other outputs smaller separating DSFAs. So, one of those can be chosen depending on the application requirement.
CITATION STYLE
Kawasaki, Y., Hendrian, D., Yoshinaka, R., & Shinohara, A. (2024). Query Learning of Minimal Deterministic Symbolic Finite Automata Separating Regular Languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14519 LNCS, pp. 340–354). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-52113-3_24
Mendeley helps you to discover research relevant for your work.