document.getElementById("med-ftitle").innerHTML=`有限特殊字符串重写系统的若干性质
`;