形式语法是指计算机科学中描述有限长字串的集合的一种方法。