Matrizes não-determinísticas: teoria e aplicações à semântica algébrica