發送短信: On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups