Pirinen, F. A., Hardwick, S., & Lindén, K. Effect of language and error models on efficiency of finite-state spell-checking and correction