O Modelo de Máquina Geométrica Intervalar

Abstract

Mostra-se neste trabalho que a linguagem e a correspondente semântica associada às interpretações obtidas na estrutura ordenada da Máquina Geométrica Intervalar, fundamentada nos espaços coerentes, são ferramentas importantes para construção, desenvolvimento e análise semântica de algoritmos da matemática intervalar, envolvendo paralelismo e não-determinismo, definidos por estruturas matriciais e operando de forma sincronizada.