Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Safety for branching time semantics
Proceedings of the 18th international colloquium on Automata, languages and programming
On the learnability of infinitary regular sets
COLT '91 Proceedings of the fourth annual workshop on Computational learning theory
Handbook of theoretical computer science (vol. B)
Learning local and recognizable &ohgr;-languages and monadic logic programs
Euro-COLT '93 Proceedings of the first European conference on Computational learning theory
Characteristic Sets for Polynomial Grammatical Inference
Machine Learning
ICGI '98 Proceedings of the 4th International Colloquium on Grammatical Inference
On the Relationship between Models for Learning in Helpful Environments
ICGI '00 Proceedings of the 5th International Colloquium on Grammatical Inference: Algorithms and Applications
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Learning of Regular Bi-omega Languages
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Identification of DFA: data-dependent vs data-independent algorithms
ICG! '96 Proceedings of the 3rd International Colloquium on Grammatical Inference: Learning Syntax from Sentences
Learning deterministic DEC grammars is learning rational numbers
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Software model synthesis using satisfiability solvers
Empirical Software Engineering
Hi-index | 0.01 |
Büchi automata are used to recognize languages of infinite strings. Such languages have been introduced to describe the behavior of real-time systems or infinite games. The question of inferring them from infinite examples has already been studied, but it may seem more reasonable to believe that the data from which we want to learn is a set of finite strings, namely the prefixes of accepted or rejected infinite strings. We describe the problems of identification in the limit and polynomial identification in the limit from given data associated to different interpretations of these prefixes: a positive prefix is universal (respectively existential) when all the infinite strings of which it is a prefix are in the language (respectively when at least one is); the same applies to the negative prefixes. We prove that the classes of regular ω-languages (those recognized by Büchi automata) and of deterministic ω-languages (those recognized by deterministic Büchi automata) are not identifiable in the limit, whatever interpretation for the prefixes is taken. We give a polynomial algorithm that identifies the class of safe languages from positive existential prefixes and negative universal prefixes. We show that this class is maximal for polynomial identification in the limit from given data, in the sense that no superclass can even be identified in the limit.