OpenXM/doc/OpenXM-specs/formal-expression.tex - diff

Return to formal-expression.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Diff for /OpenXM/doc/OpenXM-specs/formal-expression.tex between version 1.1 and 1.4

version 1.1, 2000/01/20 08:52:46

version 1.4, 2000/09/08 17:14:54

Line 1

%% $OpenXM$

%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.3 2000/01/24 02:48:24 noro Exp $

//&jp \section{ CMO の形式的表現方法 }

//&eg \section{ A formal expression of CMO }

/*&jp

前の節で CMO の表現方法を形式的に定義せず,

CMO のBasic0 の表現法を説明したが,

CMO のPrimitive の表現法を説明したが,

ここでは, CMO の Lisp 風表現 (Lisp-like expression)

である

CMOexpression

Line 12 CMOexpression

% (タグの省略記法がほしい.)

/*&eg

In the previous setion, we have explained the format of CMO's in the

In the previous section, we have explained the format of CMO's in the

Basic0 group.

Primitive group.

In this section, we will introduce CMOexpression which is like the

bracket expression of Lisp.

We again explain a standard encoding method of CMO,

Line 60 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

Line 82 The comma ({\tt ,}) may be used to separate each eleme

Line 80 The comma ({\tt ,}) may be used to separate each eleme

/*&jp

この表記法 CMOexpression を利用して, CMO Basic0 の object を記述

この表記法 CMOexpression を利用して, CMO Primitive の object を記述

してみよう.

Object 自体の構造を説明するため,

BNF をもうすこし拡張して, 非終端記号, 終端記号名のみならず, 変数の

Line 90 BNF をもうすこし拡張して, 非終端記号, 終端記号名のみな

Line 88 BNF をもうすこし拡張して, 非終端記号, 終端記号名のみな

からである. また ``---'' でコメントのはじまりを表すものとする.

/*&eg

Let us describe CMO's in the Basic0 group.

Let us describe CMO's in the Primitive group.

In order to explain the meaning of objects,

we may also put variable names to CMOexpressions.

The start of comments are denoted by ``---''.

Line 117 CMObject の

Line 115 CMObject の

は,

32 bit integer $n$ を表現しているんだということが, 1 行でわかる.

/*&eg

(This part has not yet been translated.)

/*&jp

この記法を用いて, 前節で導入した, Basic0 の CMObject を

この記法を用いて, 前節で導入した, Primitive の CMObject を

形式的に定義しよう.

/*&eg

By using this notation, let us define formally CMObjects in the group

Basic0.

Primitive.

/*&C

\bigbreak

\noindent

Group CMObject/Basic0 requires nothing. \\

Group CMObject/Primitive requires nothing. \\

Error2, Null, Integer32, Datum, Cstring, Mathcap, List $\in$ CMObject/Basic0. \\

Error2, Null, Integer32, Datum, Cstring, Mathcap, List $\in$ CMObject/Primitive. \\

Document of CMObject/Basic0 is at {\tt http://www.math.kobe-u.ac.jp/OpenXM}

Document of CMObject/Primitive is at {\tt http://www.math.kobe-u.ac.jp/OpenXM}

(in English and Japanese) \\

\begin{eqnarray*}

\mbox{Error2}&:& ({\tt CMO\_ERROR2}, {\sl CMObject}\, \mbox{ob}) \\

Line 169 Document of CMObject/Basic0 is at {\tt http://www.math

Line 164 Document of CMObject/Basic0 is at {\tt http://www.math

//&jp となる.

/*&jp

また,

``Group CMObject/Basic0 requires nothing''

``Group CMObject/Primitive requires nothing''

は, 以下は, グループ CMObject/Basic0 の定義であり,

は, 以下は, グループ CMObject/Primitive の定義であり,

このグループの CMObject を定義するのに, 要請される CMObject のグループは

ないことを示す.

``Error2, Null, Integer32, Datum, Cstring, Mathcap, List

$\in$ CMObject/Basic0''

$\in$ CMObject/Primitive''

は, グループ CMObject/Basic0 には, Error2, Null, Integer32,

は, グループ CMObject/Primitive には, Error2, Null, Integer32,

Datum, Cstring なるクラスの object が属することを示す.

/*&eg

また,

``Group CMObject/Primitive requires nothing''

``Group CMObject/Basic0 requires nothing''

means that there is no super group to define CMO's in the group Primitive.

means that there is no super group to define CMO's in the group Basic0.

``Error2, Null, Integer32, Datum, Cstring, Mathcap, List

$\in$ CMObject/Basic0''

$\in$ CMObject/Primitive''

means that

Error2, Null, Integer32, Datum, Cstring

are members of the group CMObject/Basic0.

are members of the group CMObject/Primitive.

/*&C

Line 233 CMOexpression と, CMObject の区別を理解しておくのは重�

Line 227 CMOexpression と, CMObject の区別を理解しておくのは重�

これは, 文法的には正しいプログラムだが, なにをやるのかは全く不明な

プログラムと似ている.

/*&jp

さて, Open math 風 (\cite{openmath})

の SGML 表現法も可能であり, その場合は, 上の二つの例は次のように

の XML 表現法も可能であり, その場合は, 上の二つの例は次のように

書く.

/*&eg

It is possible to express CMO by XML like Open math (\cite{openmath}).

See example below.

/*&C

\begin{verbatim}

<CMO_INT32>

<cmo_int32>

1234

</CMO_INT32>

</cmo_int32>

<CMO_STRING>

<cmo_string>

"Hello"

</CMO_STRING>

</cmo_string>

\end{verbatim}

Line 329 is the encoding of the CMOexpression

Line 334 is the encoding of the CMOexpression

の標準 encoding 法による表現である.

/*&C

\bigbreak

/*&jp

(実験的)

CMO は XML 規格に準拠している.

XML 規格の Attribute を binary encode するために

特別なタグ \\

/*&eg

(Experimental)

CMO is complient to XML specification.

In order to encode ``Attribute'' in XML in a binary format,

we have a tag: \\

//&C \verb! #define CMO_ATTRIBUTE_LIST (LARGEID+3) ! \\

/*&jp

を用意してある.

/*&jp

たとえば Attribute {\tt font="Times-Roman" } は \\

/*&eg

For example, the attibute {\tt font="Times-Roman" } is encoded as \\

/*&C

\begin{verbatim}

(CMO_ATTRIBUTE (CMO_LIST

(CMO_LIST (CMO_STRING,"font") (CMO_STRING, "Times-Roman"))))

\end{verbatim}

/*&jp

と encoding される.

//*C

/*&jp

この特別な CMO tag {\tt CMO\_ATTRIBUTE\_LIST} 以外は,

XML 表現では XML のタグとして理解される.

/*&eg

All tags except this special CMO tag {\tt CMO\_ATTRIBUTE\_LIST}

are XML tags in the CMO/XML expression.

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>