For every index j , with v ; E N we define S ; = { i | i = index ( vj , Vj1 ) , G ; ⇒ Gi + 1 is a type 2 derivation step , v ; € N } .
確定! 回上一頁