基本表示式

基本表示式(elementary expression)定義如下：

V  = x | y | z
FV = fn| gn| hn
AS = AS, E
F  = FV(AS)
E  = 1 | S | V | S(E) | F

1, S 及變數是基本表示式。

若 A 是基本表示式，則 S(A) 也是基本表示式

若 A1, A2,..., An 是基本表示式，且 fn 為變函，則 fn(A1, A2,..., An) 也是基本表示式。