名前の掟

名前は次の構文定義を持つ。

名前 ::= 名前開始文字 名前文字*

集合として、名前開始文字 ⊆ 名前文字 でなくてはならない。

1. 名前は、数値と混同されてはならない。
2. 名前に、区切り文字を含んではならない。
3. 名前は、アスキー文字列へのエンコードを持つべきである。