version 1.1, 2000/01/20 08:52:46 |
version 1.2, 2000/01/23 05:28:33 |
|
|
%% $OpenXM$ |
%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $ |
//&jp \section{ CMO の形式的表現方法 } |
//&jp \section{ CMO の形式的表現方法 } |
//&eg \section{ A formal expression of CMO } |
//&eg \section{ A formal expression of CMO } |
|
|
Line 60 By using this notation, CMOexpression is defined as fo |
|
Line 60 By using this notation, CMOexpression is defined as fo |
|
列である. |
列である. |
終端記号 {\tt string} は''文字''の列である. |
終端記号 {\tt string} は''文字''の列である. |
終端記号 {\tt byte} は 8 bit データを表す, 10 進または 16 進の数字の列である. |
終端記号 {\tt byte} は 8 bit データを表す, 10 進または 16 進の数字の列である. |
|
|
*/ |
*/ |
/*&jp |
/*&eg |
Terminal {\tt int32} is signed 32 bit integer. |
Terminal {\tt int32} is signed 32 bit integer. |
Terminal {\tt string} is a byte array which usually expresses a string. |
Terminal {\tt string} is a byte array which usually expresses a string. |
Terminal {\tt byte} is 8 bit data. |
Terminal {\tt byte} is 8 bit data. |
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
|
|
は, |
は, |
32 bit integer $n$ を表現しているんだということが, 1 行でわかる. |
32 bit integer $n$ を表現しているんだということが, 1 行でわかる. |
*/ |
*/ |
/*&eg |
|
(This part has not yet been translated.) |
|
*/ |
|
/*&jp |
/*&jp |
この記法を用いて, 前節で導入した, Basic0 の CMObject を |
この記法を用いて, 前節で導入した, Basic0 の CMObject を |
形式的に定義しよう. |
形式的に定義しよう. |
Line 179 $\in$ CMObject/Basic0'' |
|
Line 174 $\in$ CMObject/Basic0'' |
|
Datum, Cstring なるクラスの object が属することを示す. |
Datum, Cstring なるクラスの object が属することを示す. |
*/ |
*/ |
/*&eg |
/*&eg |
また, |
|
``Group CMObject/Basic0 requires nothing'' |
``Group CMObject/Basic0 requires nothing'' |
means that there is no super group to define CMO's in the group Basic0. |
means that there is no super group to define CMO's in the group Basic0. |
``Error2, Null, Integer32, Datum, Cstring, Mathcap, List |
``Error2, Null, Integer32, Datum, Cstring, Mathcap, List |