EQUIVALÊNCIA DE PROGRAMAS E MÁQUINAS

Elias Lampert, Edson Wenning, Pedro Eduardo Camera, Gustavo Bronzatti Claudy, Fernando Kruger, Alex Vinicios Telocken

Resumo


Este trabalho apresenta conceitos sobre a equivalencia entre máquinas, máquina de traços e
programas fortemente equivalentes. Esses conceitos são de suma importancia no estudo da
teoria da computação, isso justifica-se porque através da percepção da equivalência forte de
programas podemos adquirir subsídios para analisar a complexidade estrutural dos mesmos.
Para o entendimento deste conceito, devemos primeiramente ter conhecimento da
equivalencia de programas, para esta verificação utiliza-se a máquina de traço. A qual define
que programas quando equivalentes retornam o mesmo traço.

Texto completo:

PDF

Apontamentos

  • Não há apontamentos.