判断题：形式语法是指面向机器处理的语法，它规定语言中允许出现的结构的形式化说明