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