以下數節即以這四點描述代數結構。 因我們所要研究的對象為程序,我們給予規格中每 ... 由基本項的定義可推出每一個基本項都可以寫成下列形式: t=ε 或t = ∑. <ni ii ta ...
確定! 回上一頁