Example of use of K3 on a Cellular Automata language