Avanços no estudo de complexidade em linguagem regular de autômatos celulares elementares

dc.contributor.advisorOliveira, Pedro Paulo Balbi dept_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9556738277476279por
dc.contributor.authorCosta, Wander Lairsonpt_BR
dc.creator.Latteshttp://lattes.cnpq.br/2863875085081818por
dc.date.accessioned2016-03-15T19:37:45Z
dc.date.accessioned2020-05-28T18:08:34Z
dc.date.available2013-06-17pt_BR
dc.date.available2020-05-28T18:08:34Z
dc.date.issued2013-03-15pt_BR
dc.description.abstractAutômatos celulares são sistemas totalmente discretos que agem localmente de forma simples e determinística, mas cujo comportamento global resultante pode ser extremamente complexo. O conjunto de possíveis configurações globais em um passo de tempo t finito para um autômato celular pode ser descrito por uma linguagem regular, a qual por sua vez pode ser representada por meio de um autômato finito, mais precisamente, pelo chamado grafo de processo, em que todos os estados são iniciais e finais. Estuda-se aqui a complexidade da evolução temporal dos autômatos celulares elementares (i.e., unidimensionais, binários, de raio 1), e trabalhos anteriores são revisitados e discutidos, no quais apontam-se problemas e suas consequências. Também inicia-se uma nova abordagem para o problema, substituindo a representação dos grafos de processo que descrevem a configuração a cada passo de tempo por matrizes de adjacência deles derivadas. De fato, estende-se a notação clássica de matriz de adjacência, já que ela se mostra insuficiente para descrever completamente os grafos de processo em questão. Com essa nova notação, mostra-se que é possível obter o algoritmo que gere o grafo de processo de tempo t para cada uma das regras estudadas. Conclui-se que, embora houve avanços para o problema do grafo limite, este ainda permanece aberto, e sugestões para continuação da pesquisa são dadas.por
dc.description.sponsorshipUniversidade Presbiteriana Mackenziept_BR
dc.formatapplication/pdfpor
dc.identifier.citationCOSTA, Wander Lairson. Avanços no estudo de complexidade em linguagem regular de autômatos celulares elementares. 2013. 104 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Presbiteriana Mackenzie, São Paulo, 2013.por
dc.identifier.urihttp://dspace.mackenzie.br/handle/10899/24345
dc.languageporpor
dc.publisherUniversidade Presbiteriana Mackenziepor
dc.rightsAcesso Abertopor
dc.subjectautômato celular elementarpor
dc.subjectcomportamento limitepor
dc.subjectlinguagem regularpor
dc.subjectgrafo de processopor
dc.subjectautômato finitopor
dc.subjectmatriz de adjacência, complexidadepor
dc.subjectelementary cellular automatoneng
dc.subjectlimit behavioreng
dc.subjectregular languageeng
dc.subjectfinite automatoneng
dc.subjectprocess grapheng
dc.subjectadjacency matrixeng
dc.subjectcomplexityeng
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApor
dc.thumbnail.urlhttp://tede.mackenzie.br/jspui/retrieve/3849/Wander%20Lairson%20Costa.pdf.jpg*
dc.titleAvanços no estudo de complexidade em linguagem regular de autômatos celulares elementarespor
dc.typeDissertaçãopor
local.contributor.board1Silva, Leandro Nunes de Castropt_BR
local.contributor.board1Latteshttp://lattes.cnpq.br/2741458816539568por
local.contributor.board2Oliveira, Gina Maira Barbosa dept_BR
local.contributor.board2Latteshttp://lattes.cnpq.br/7119433066704111por
local.publisher.countryBRpor
local.publisher.departmentEngenharia Elétricapor
local.publisher.initialsUPMpor
local.publisher.programEngenharia Elétricapor
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
Wander Lairson Costa.pdf
Tamanho:
1.87 MB
Formato:
Adobe Portable Document Format
Descrição: