Formal Language Learning with Correction Queries by Cristina Tîrnauca