[1] タグ又は実体参照が処理される範囲で文書型を識別するタグの一部又は実体参照の一部。 Document type specification。 (JIS X 4151‐1992 定義 (231))

[2] 例 : &(doctype1)foo;

• [3] 文書型指定 := [ 名前群 ] ;; (28)
• [4] 空でない文書型指定は、 CONCUR YES の時だけ使えます。 (JIS 6.7 参照。)
• [5] 文書型指定が空の場合は、どの文書型の実現値にも適用されることを示します。
• [6] 文書型指定が空で無い場合は、活性文書型の名前と一致するものが含まれているときだけ、そのマークを処理します。
• [7] 実体参照でも名前群が使えますが、 SGML の生成規則ではなぜか文書型指定を参照してません。これは意図したものなのでしょうか? とまれ、ここでは参照のも含めて文書型指定と呼びます。
• [8] 空でない文書型指定つきの実体参照は、開始タグや前書きで使えません。 (8.4.4)
• [9] 空でない文書型指定つきの実体参照で、その中の名前に活性文書型または活性連結型の名前が一つもなければ、無視します。

[10] >>8 はつまり、引数実体参照で非空文書型指定が使えるのはマーク区間宣言の状態鍵語指定だけということだ。

開始タグで使えないのは、活性状態の開始タグの中に非活性状態の実体参照があっても何の意味もなさないからだ、たぶん。 (でも参照された実体内で更に実体を参照したいときには役に立つかもしれないが...)

でもそうだとすると、 <(t)e a="&(t)n"> は駄目で <(t)e a="&n"> はよいけどどうなのか。非基本型開始タグでは実体参照が使えないことになってしまうけど、本当にそれでいいのか。何か大事なことを読み落としてたりしてる? (名無しさん)