---

Os autômatos celulares sÆo modelos abstratos utilizados para descrever sistemas naturais possibilitando a análise de padräes complexos a partir de uma formula‡Æo simplificada. Sendo constituídos por estruturas compostas por um reticulado de células, onde cada célula evolui de acordo com as características das células vizinhas, podem ser utilizados para a modelagem de sistemas naturais. As mudan‡as climáticas e ambientais causadas pelo acúmulo de dióxido de carbono atmosférico podem ser consideradas como um dos grandes problemas da humanidade nos últimos séculos. O eucalipto é um gênero de árvore nÆo nativa que, por apresentar boa adapta‡Æo aos mais variados ambientes, elevada taxa de crescimento e facilitado reflorestamento, suas espécies sÆo amplamente indicadas para auxiliar na neutraliza‡Æo de dióxido de carbono atmosférico. Neste trabalho propäe-se a formaliza‡Æo de um modelo matemático para a simula‡Æo da neutraliza‡Æo de dióxido de carbono para um plantio comercial de eucalipto, implementado computacionalmente utilizando a metodologia dos autômatos celulares, considerando a contabiliza‡Æo de árvores mortas, bem como a influência da escolha do espa‡amento.

---

Bacharel em Informática pela Universidade da RegiÆo da Campanha (2004), Especialista em Administra‡Æo de Sistemas de Informa‡Æo pela Universidade Federal de Lavras (2007), Mestre em Ciência da Computa‡Æo pela Universidade Federal de Pelotas (2013) e Doutorando em Ciência da Computa‡Æo pela Universidade Federal de Pelotas.

---