编译原理：tiny语言

         描述真实的编译器非常困难。“真正的”编译器——也就是希望在每天编程中用到的——内容太复杂而且不易在本教材中掌握。另一方面，一种很小的语言（其列表包括1 0页左右的文本）的编译也不可能准确地描述出“真正的”编译器所需的所有特征。

         为了解决上述问题，人们在（A N S I）C中为小型语言提供了完整的源代码，一旦能明白这种技术，就能够很容易地理解这种小型语言的编译器了。这种语言称作T I N Y，在每一章的示例中都会用到它，它的编译代码也很快会被提到。完整的编译代码汇集在附录B中。

         TINY的程序结构很简单，它在语法上与A d a或P a s c a l的语法相似：仅是一个由分号分隔开的语句序列。另外，它既无过程也无声明。所有的变量都是整型变量，通过对其赋值可较轻易地声明变量（类似F O RT R A N或B A S I C）。它只有两个控制语句： i f语句和r e p e a t语句，这两个控制语句本身也可包含语句序列。I f语句有一个可选的e l s e部分且必须由关键字e n d结束。除此之外，r e a d语句和w r i t e语句完成输入/输出。在花括号中可以有注释，但注释不能嵌套。

         TINY的表达式也局限于布尔表达式和整型算术表达式。布尔表达式由对两个算术表达式的比较组成，该比较使用<与=比较算符。算术表达式可以包括整型常数、变量、参数以及4个整型算符+、－、*、/，此外还有一般的数学属性。布尔表达式可能只作为测试出现在控制语句中——而没有布尔型变量、赋值或I / O。

 

这个例子是该语言中的一个阶乘函数的简单编程示例。这个例子在整本书中都会用到。

{ Sample program
  in TINY language -
  computes factorial
}
read x; { input an integer }
if 0 < x then { don't compute if x <= 0 }
  fact := 1;
  repeat
    fact := fact * x;
    x := x - 1
  until x = 0;
  write fact  { output factorial of x }
end