![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to formal-expression.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-specs|
Return to formal-expression.tex CVS log | Up to [local] / OpenXM / doc / OpenXM-specs |
| 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 } | ||
|
|
||
| 列である. | 列である. | ||
| 終端記号 {\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 を | ||
| 形式的に定義しよう. | 形式的に定義しよう. | ||
|
|
||
| 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 |