是编译原理的一次上机题目,c实现的s属性的计算,好理解