Submitted by Rosa Assis (rosa_assis@yahoo.com.br) on 2017-11-21T15:01:03Z No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2017-11-30T12:39:39Z (GMT) No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-11-30T12:39:39Z (GMT). No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-08-16 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Fundo Mackenzie de Pesquisa / Templates are formal representations for sets of one-dimensional cellular automata created by means of a generalisation of the classical state transition tables. Algorithms already do exist in the literature that generate templates for static properties of cellular automata rules, as well as others that perform operations such as intersection between templates and template expansion. Here, we introduce the exception template operation, the operation of di erence between templates, and explain the functioning of the algorithm of those operations, which have been implemented in the CATemplates package of the Mathematica software. We also discuss the possibility of using templates in the context of the parity problem {namely, the determination of the parity of 1s in a cyclic binary con guration of odd length{ with the support of the operation of di erence between templates, and of the template generation of parity conserving and state conserving cellular automata. / Templates são representações formais para conjuntos de autômatos celulares unidimensionais feitas por meio da generalização das tabelas de transição clássicas. Já existem algoritmos na literatura que geram templates para propriedades estáticas de autômatos celulares, assim como há algoritmos que realizam operações como intersecção entre templates e expansão de template. Aqui, é introduzida a operação de templates de exceção, a operação de diferença entre templates, e explica-se o funcionamento do algoritmo dessas operações, que foram implementadas na biblioteca CATemplates do software Mathematica. Também discutimos a possibilidade de uso de templates no contexto do problema de paridade (a saber, a determinação da paridade de 1s em uma configuração binária cíclica de tamanho ímpar), com o apoio da operação de diferença entre templates, e das operações geradoras de templates de autômatos celulares conservativos de paridade e conservativos de estado.