document.getElementById("med-ftitle").innerHTML=`程序合成正确模式的抽象形式化方法
`;