Automatizando a obtenção da complexidade baseada em linguagem regular de autômatos celulares elementares
Tipo
Dissertação
Data de publicação
2006-10-09
Periódico
Citações (Scopus)
Autores
Miki, Fábio Tokio
Orientador
Oliveira, Pedro Paulo Balbi de
Título da Revista
ISSN da Revista
Título de Volume
Membros da banca
Marengoni, Maurício
Ribeiro, Carlos Henrique Costa
Ribeiro, Carlos Henrique Costa
Programa
Engenharia Elétrica
Resumo
Autômatos celulares são sistemas dinâmicos e computacionais totalmente discretos no tempo, no espaço e em suas variáveis de estado. Sabe-se que, para um autômato celular
elementar, o conjunto de todas as configurações possíveis de se obter decorrida uma quantidade finita de passos de tempo de sua evolução temporal constitui uma linguagem regular. Com isso, esse conjunto de cadeias pode ser representado por um autômato finito determinístico mínimo, e a quantidade de estados e transições entre eles pode ser considerada uma medida da complexidade (em linguagem regular) da regra elementar em questão; tal processo, apesar de eventualmente custoso computacionalmente, está bem
resolvido na literatura. No entanto, quando se deseja obter a representação do autômato finito limite, isto é, para uma quantidade infinita de passos de tempo, essa máquina pode
não existir para algumas regras, e, mesmo em alguns casos em que se sabe que ela existe, não há ainda um método que a gere automaticamente. O presente trabalho caminha na
direção de ajudar a solucionar este último problema, apesar de que ainda não foi possível derivar o algoritmo de comportamento limite. No entanto, avança-se aqui com relação ao método atualmente existente, no sentido de, através de um novo algoritmo, derivar automaticamente expressões de crescimento do autômato finito representativo de cada passo de tempo, inclusive em casos ainda não reportados, o que lança luz sobre a questão original, abrindo perspectivas para que a obtenção automática do autômato finito limite possa ser obtida posteriormente.
Descrição
Palavras-chave
autômatos celulares , automação , engenharia da computação , engenharia eletrônica , cellular automata , automation , computational engineering , electronics engineering
Assuntos Scopus
Citação
MIKI, Fábio Tokio. Automatizando a obtenção da complexidade baseada em linguagem regular de autômatos celulares elementares. 2006. 137 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo, 2006.