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.
| Identifer | oai:union.ndltd.org:IBICT/oai:tede.mackenzie.br:tede/3411 |
| Date | 16 August 2016 |
| Creators | Soares Junior, Zorandir |
| Contributors | Oliveira, Pedro Paulo Balbi de, Omar, Nizam, Mendonça, José Ricardo Gonçalves de |
| Publisher | Universidade Presbiteriana Mackenzie, Engenharia Elétrica, UPM, Brasil, Escola de Engenharia Mackenzie (EE) |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações do Mackenzie, instname:Universidade Presbiteriana Mackenzie, instacron:MACKENZIE |
| Rights | http://creativecommons.org/licenses/by-nc-nd/4.0/, info:eu-repo/semantics/openAccess |
Page generated in 0.0021 seconds