Types of Trusted Information That Make DFA Identification with Correction Queries Feasible

Cristina Tîrnauca, Catalin Ionut Tîrnauca. Types of Trusted Information That Make DFA Identification with Correction Queries Feasible. In Michael Domaratzki, Kai Salomaa, editors, Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Volume 6482 of Lecture Notes in Computer Science, pages 272-281, Springer, 2010. [doi]

Abstract

Abstract is missing.