next up previous contents
Next: Cartesian product Up: The (41/2) automata Previous: The de Bruijn

The automaton itself

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.





Harold V. McIntosh
E-mail:mcintosh@servidor.unam.mx