Automatizando a obtenção da complexidade baseada em linguagem regular de autômatos celulares elementares

Página do item simplificado
dc.contributor.advisorOliveira, Pedro Paulo Balbi dept_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9556738277476279por
dc.contributor.authorMiki, Fábio Tokiopt_BR
dc.creator.Latteshttp://lattes.cnpq.br/2401962794493385por
dc.date.accessioned2016-03-15T19:38:06Z
dc.date.accessioned2020-05-28T18:08:41Z
dc.date.available2007-08-14pt_BR
dc.date.available2020-05-28T18:08:41Z
dc.date.issued2006-10-09pt_BR
dc.description.abstractAutô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.por
dc.description.sponsorshipFundo Mackenzie de Pesquisapt_BR
dc.formatapplication/pdfpor
dc.identifier.citationMIKI, 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.por
dc.identifier.urihttp://dspace.mackenzie.br/handle/10899/24394
dc.languageporpor
dc.publisherUniversidade Presbiteriana Mackenziepor
dc.rightsAcesso Embargadopor
dc.subjectautômatos celularespor
dc.subjectautomaçãopor
dc.subjectengenharia da computaçãopor
dc.subjectengenharia eletrônicapor
dc.subjectcellular automataeng
dc.subjectautomationeng
dc.subjectcomputational engineeringeng
dc.subjectelectronics engineeringeng
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApor
dc.thumbnail.urlhttp://tede.mackenzie.br/jspui/retrieve/3592/Fabio%20Tokio%20Miki.pdf.jpg*
dc.titleAutomatizando a obtenção da complexidade baseada em linguagem regular de autômatos celulares elementarespor
dc.typeDissertaçãopor
local.contributor.board1Marengoni, Mauríciopt_BR
local.contributor.board1Latteshttp://lattes.cnpq.br/1974791787566027por
local.contributor.board2Ribeiro, Carlos Henrique Costapt_BR
local.contributor.board2Latteshttp://lattes.cnpq.br/3754241050455395por
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
Imagem de Miniatura
Nome:
Divulgação não autorizada pelo autor.docx
Tamanho:
12.74 KB
Formato:
Unknown data format
Descrição:
Baixar
Coleções
Engenharia Elétrica e Computação - Dissertações - EE Higienópolis