Stavros Konstantinidis Pedro V. Silva Maximal Error-Detecting Capabilities of Formal Languages. 55-71 2008 13 Journal of Automata, Languages and Combinatorics 1 db/journals/jalc/jalc13.html#KonstantinidisS08