Máquinas hipotéticas da Universidade Federal do Rio Grande do Sul: diferenças entre revisões