Finite-state genericity: on the diagonalization strength of finite automata - Busse, Edgar (2006)