Representando famílias de autômatos celulares por meio de templates
Abstract
The notion of a template for representing cellular automata (CA) rules is introduced. This enhances the standard representation based on a rule table, in that it refers to families of cellular automata, instead of a rule alone. Operations applicable to the templates are defined herein, and their use is exemplified in the context of finding representations for rule sets that share properties. Wolfram Mathematica's functional nature
and built-in equation-solving capabilities are central to develop these algorithms. The perspectives for using templates in further contexts are also discussed, along with possible extensions to the present work. As a support to the template concept, a Wolfram Mathematica package called CATemplates is presented, shared with the community using a public repository.
Summary
A noção de representação de autômatos celulares (ACs) por meio de templates é aqui introduzida. Ela consiste em uma generalização da tabela
de transições de estado clássica, permitindo a representação de subespaços
de autômatos celulares, ao invés de apenas indivíduos isolados. São definidas operações aplicáveis aos templates, e seu uso é exemplificado por
meio da obtenção de algoritmos que encontram subespaços de regras que
apresentam propriedades em comum. Para o desenvolvimento destes algoritmos,
a utilização do software Wolfram Mathematica é central, dada
sua capacidade de resolução automática de sistemas de equações, além
da natureza funcional e simbólica da Wolfram Language, linguagem de
programação a ele associada. Também são discutidas as vantagens e desvantagens
da utilização deste tipo de representação em outros contextos,
e possiblidades de extensão para o trabalho. Como apoio ao conceito dos
templates, é apresentada a biblioteca para o Wolfram Mathematica chamada
CATemplates, disponibilizada em um repositório público.
CNPq Area
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Citation
COSTA, Maurício Verardo da. Representando famílias de autômatos celulares por meio de templates. 2015. 58 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo, 2015.