Diferença entre templates de autômatos celulares unidimensionais binários
Date
2016-08-16Author
Soares Junior, Zorandir
Advisor
Oliveira, Pedro Paulo Balbi de
Referee
Omar, Nizam
Referee
Mendonça, José Ricardo Gonçalves de
Metadata
Show full item recordAbstract
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.
Summary
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.
CNPq Area
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LINGUAGEM FORMAIS E AUTOMATOS
Citation
SOARES JUNIOR, Zorandir. Diferença entre templates de autômatos celulares unidimensionais binários. 2016. 43 f. Dissertação ( Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo .