An Extensible Multilingual Corpus of DFA Construction Problems. ICCE 2016.