形式语言研究绩溪博物馆案例分析