The reason for working with automata of radius is their
simplicity; one has to maintain a balance between such small automata
they are trivial, or so large they are computationally impossible.
Having four states means that the widest de Bruijn strip is only three
cells wide; yet automata of radius 1, the next larger size, will not
let even this small diagram fit the available memory.