SPIR-V 研究：编译器基本原理（二）

SPIR-V 研究：编译器基本原理（二）- 语法

标签（空格分隔）： SPIR-V Graphics Vulkan

---

上一篇介绍了计算机语言的基本知识，这一篇主要讲讲语法。语法是一组能生成对应语言语句的规则，这一般是一个有限集合，也就是只有有限多个规则。所以，根据给定语法和字母表，我们可以生成所有符合规则的语句。比如下图：

Formal Language

这里所讲的语言其实就是形式语言（formal language），对应的语法就是formal grammar。语言L是一组长度有限的字符串（语句）。

• L可以包含有限个数的语句；最小的语言不包含任何语句。
• L还可以包含无限多个语句；比如一般编程语言就是如此。
  由于一个句子可以属于或不属于某一语言，所以需要一种规则或方法还检验给定语句是不是属于特定语言。这种规则就是语法；检验的过程就是Parse的过程。

Formal Grammar

语法有四种元素构成。可以参见这篇好文章：Formal Grammar。

• 首先是一个字母表Σ，它包含所有的**有限个的**terminal symbols；terminal s