Learnability of automatic classes - Jain, S. (2013)
10.1016/j.jcss.2011.12.011