摘要: 象ALGOL那样的一种祘法語言的語法,可很方便地描述成由一个叫做栈(Cellar)的元素所标志的状态序列。状态的轉变系由容許的状态—符号的偶所控制,这些状态—符号偶可以用一个轉換矩陣表示。語法的这种表述同时提供了一种极为簡单的规則,以把祘法語言中的語句翻譯为机器程序。然而,在某些最优处理的情况下(例如递归地址計祘),順序处理是行不通的。