该程序计算我们可以在Python中使用语法规则制作的字符串数