X = [1,2;3,4;5] ≡ X = [[1,2];[3,4];5] ≡ X = [1,2] ; X = [3,4] ; X = 5
, ≡ ∧
; ≡ ∨
the association of "," is prior to ";"
X = [ ] ≡ X = null
obj ‘ sub ≡ sub @ obj
obj behavior ¬≡ behavior @ obj
obj # n ¬≡ obj ‘ # n
operand operand ≡ operand * operand
operator operand ≡ operator ( operand )
the association of "*" is prior to all another operators
operator operand operand ≡ operator ( operand * operand )
operator operator operand ≡ operator ( operator ( operand ) )
f ∈ operator, ∀o ∈ (x,y): o ∈ operand
⇒ f x y ≡ f ( x * y ) ¬≡ f ( x, y )
Run-time dynamic definition example:
g ∈ operator ⊧ f(x,y,z) ≡ ( g y ) ( ( g ^ (-1) ) x y ) ,
g ∈ operand ⊧ f(x,y,z) ≡ ( f g y ) ( ( f ^ (-1) ) (y,z) )
没有评论:
发表评论