TY - GEN
T1 - Polynomial Identification of ω-Automata
AU - Angluin, Dana
AU - Fisman, Dana
AU - Shoval, Yaara
N1 - Publisher Copyright:
© 2020, The Author(s).
PY - 2020/1/1
Y1 - 2020/1/1
N2 - We study identification in the limit using polynomial time and data for models of ω-automata. On the negative side we show that non-deterministic ω-automata (of types Büchi, coBüchi, Parity or Muller) can not be polynomially learned in the limit. On the positive side we show that the ω-language classes IB, IC, IP, and IM that are defined by deterministic Büchi, coBüchi, parity, and Muller acceptors that are isomorphic to their right-congruence automata (that is, the right congruences of languages in these classes are fully informative) are identifiable in the limit using polynomial time and data. We further show that for these classes a characteristic sample can be constructed in polynomial time.
AB - We study identification in the limit using polynomial time and data for models of ω-automata. On the negative side we show that non-deterministic ω-automata (of types Büchi, coBüchi, Parity or Muller) can not be polynomially learned in the limit. On the positive side we show that the ω-language classes IB, IC, IP, and IM that are defined by deterministic Büchi, coBüchi, parity, and Muller acceptors that are isomorphic to their right-congruence automata (that is, the right congruences of languages in these classes are fully informative) are identifiable in the limit using polynomial time and data. We further show that for these classes a characteristic sample can be constructed in polynomial time.
KW - characteristic sample
KW - identification in the limit
KW - ω-regular
UR - http://www.scopus.com/inward/record.url?scp=85084000452&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-45237-7_20
DO - 10.1007/978-3-030-45237-7_20
M3 - Conference contribution
AN - SCOPUS:85084000452
SN - 9783030452360
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 325
EP - 343
BT - Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II
A2 - Biere, Armin
A2 - Parker, David
PB - Springer
T2 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020
Y2 - 25 April 2020 through 30 April 2020
ER -