Ver registro no DEDALUS
Exportar registro bibliográfico

Sistemas de reescrita de termos: teoria e uma aplicação (1999)

  • Authors:
  • USP affiliated authors: ZANUTTO, JEFFERSON - IME
  • USP Schools: IME
  • Sigla do Departamento: MAP
  • Subjects: LINGUAGENS FORMAIS
  • Language: Português
  • Abstract: Dada uma teoria equacional T, isto é, um conjunto T de equações, uma pergunta que se faz é se os teoremas da teoria T podem, ou não, serem verificados através de um algoritmo que termina.Uma abordagem à esta questão, muito divulgada a partir da final da década de sessenta com o trabalho de Knut & Bendix, baseia-se na busca de sistemas de reescrita de termos completos para a teoria T dada, isto é, sistemas de reescrita completos que induzam as mesmas classes de congruência da teoria T. Muitos têm sido os esforços nas últimas décadas para o desenvolvimento de técnicas de completação de sistemas de reescrita com o intuito de conseguir-se obter sistemas completos para uma variedade cada vez maior de teorias equacionais. Neste trabalho, estudamos os aspectos básicos de teorias equacionais, incluindo seus sub-problemas como a unificação de termos e a terminação de sistemas de reescrita. Descrevemos dois algoritmos de completação de sistemas de reescrita, o algoritmo clássico de Knut & Bendix e o algoritmo de completação módulo teorial equacional, de Peterson & Stickel,generalizando o anterior. Por fim, apresentamos uma aplicação do uso de sistemas de reescrita para a Morfologia Matemática, uma área da computação com aplicações diretas no campo de processamento de imagens. Tanto a verificação da identidade entre operadores morfológicos quanto a simplificação de tais operadores são problemas de interesse no campo da morfologia matemática. Apresentamos, para asub-classe dos operadores morfológicos invariantes por translação e isotônicos para imagens binárias, um método efetivo para a verificação de identidade entre tais operadores morfológicos, que se materializa na existência de um sistema de reescrita completo para a teoria dos reticulados distributivos. Discutimos, por fim, a aplicabilidade dessa abordagem para a simplificação de operadores morfológicos, tanto para o caso de implementações desses operadores em máquinas seqüenciais quanto em máquinas paralelas
  • Imprenta:
  • Data da defesa: 21.05.1999

  • Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    IME31000003483QA806.T Z34s e.2
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ZANUTTO, Jefferson; SILVA, Flávio Soares Corrêa da. Sistemas de reescrita de termos: teoria e uma aplicação. 1999.Universidade de São Paulo, São Paulo, 1999.
    • APA

      Zanutto, J., & Silva, F. S. C. da. (1999). Sistemas de reescrita de termos: teoria e uma aplicação. Universidade de São Paulo, São Paulo.
    • NLM

      Zanutto J, Silva FSC da. Sistemas de reescrita de termos: teoria e uma aplicação. 1999 ;
    • Vancouver

      Zanutto J, Silva FSC da. Sistemas de reescrita de termos: teoria e uma aplicação. 1999 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI: