document.getElementById("med-ftitle").innerHTML=`用于重写策略的树自动机
`;