F.指令串

獨立的指令串，例如 (+ */),  "通常"的剖析規則 (除了三個標為三叉族與雙叉族者之外) 無法分解稱之為 指令串, 可以由以下規則進一步分解。

兩個或三個原子的指令串有特定的意義，重複的套用，可適用於任意長度指令串的分解。例如, 指令串 +-*% 與 +-*%^ 等同於 +(-*%) 與 +-(*%^).

由兩或三個動詞串接的動詞 , 如下圖解所定義者：
         雙勾                三叉                 罩叉

      g       g           g        g            g     g
     / \     / \         / \      / \           |     |
    y   h   x   h       f   h    f   h          h     h
        |       |       |   |   / \ / \         |    / \
        y       y       y   y   x y x y         y   x   y
例如, 5(+*-)3 為 (5+3)*(5-3)。 若 f 為罩子 ([:)，被罩住的分支簡化三叉成 g h y 與 g x h y.

勾與叉的秩為無窮值。

指令串也可定義副詞與連接詞，二原子與三原子的指令串分別稱為雙叉族與三叉群； 勾與三叉是特例。樹狀圖解顯示為何取名為叉子與三叉族：
   mean=: +/ % #
   conj=: ]. , [.
   tree=: 5!:4@<
    
   tree 'mean'
  +- / --- +
--+- %      
  +- #

  tree 'conj'
  +- ].
--+- , 
  +- [.
下表定義所有可能的三叉族與雙叉族, 以斜體字代表(雙價) 動詞的選擇性的左引數：

N0 V1 N2     名詞       x V1 y
V0 V1 V2 動詞 (x V0 y) V1 (x V2 y)
V0 V1 C2 連接詞 V0 V1 (x C2 y)
A0 V1 V2 副詞 (x A0) V1 V2
C0 V1 V2 連接詞 (x C0 y) V1 V2
C0 V1 C2 連接詞 (x C0 y) V1 (x C2 y)
A0 A1 V2 連接詞 (x A0) (y A1) V2
A0 A1 A2 副詞 ((x A0) A1) A2
C0 A1 A2 連接詞 ((x C0 y) A1) A2
N0 C1 N2 動詞 x (N0 C1 N2) y
N0 C1 V2 動詞 x (N0 C1 V2) y
N0 C1 A2 副詞 N0 C1 (x A2)
N0 C1 C2 連接詞 N0 C1 (x C2 y)
V0 C1 N2 動詞 x (V0 C1 N2) y
V0 C1 V2 動詞 x (V0 C1 V2) y
V0 C1 A2 副詞 V0 C1 (x A2)
V0 C1 C2 連接詞 V0 C1 (x C2 y)
A0 C1 N2 副詞 (x A0) C1 N2
A0 C1 V2 副詞 (x A0) C1 V2
A0 C1 A2 連接詞 (x A0) C1 (y A2)
A0 C1 C2 連接詞 (x A0) C1 (x C2 y)
C0 C1 N2 連接詞 (x C0 y) C1 N2
C0 C1 V2 連接詞 (x C0 y) C1 V2
C0 C1 A2 連接詞 (x C0 y) C1 (y A2)
C0 C1 C2 連接詞 (x C0 y) C1 (x C2 y)
N0 A1 動詞 x (N0 A1) y
N0 C1 副詞 N0 C1 x
V0 N1 名詞 V0 y
V0 V1 動詞 x (or y) V0 V1 y
V0 A1 動詞 x (V0 A1) y
V0 C1 副詞 V0 C1 x
A0 V1 副詞 (x A0) V1
A0 A1 副詞 (x A0) A1
A0 C1 副詞 (x A0) C1 x
C0 N1 副詞 x C0 N1
C0 V1 副詞 x C0 V1
C0 A1 連接詞 (x C0 y) A1

下個 • 前個 • 字彙 • 索引• 主選單