[1] [[XMLspec]] の [[EBNF]] 記述用の語彙について。 - [CODE(XMLe)[[[scrap]]]] (@[CODE(XMLa)[[[lang]]]]=[CODE(XML)[[[IDREF]]]]: [CODE(XMLe)[[[language]]]] 要素参照, @[CODE(XMLa)[[[headstyle]]]]=[CODE(SGML)[([[show]] -- 既定 -- | [[suppress]])]]: 題名を出力するか, 共通属性; [CODE(XML)[([CODE(XMLe)[[[head]]]], ([CODE(XMLe)[[[prod]]]] | [CODE(XMLe)[[[prodgroup]]]] | [CODE(XMLe)[[[prodrecap]]]] | [CODE(XMLe)[[[bnf]]]])+)]]): EBNF 生成規則の集まり。 -- [CODE(XMLe)[[[prodgroup]]]] (@[CODE(XMLa)[[[pcw1]]]]〜@[CODE(XMLa)[[[pcw5]]]]: 列 (番号, 左辺,...) の幅, 共通属性; [CODE(XML)[([CODE(XMLe)[prod]]+)]]): 生成規則群。 -- [CODE(XMLe)[[[prod]]]] (@[CODE(XMLa)[[[id]]]]: 必須, 共通属性; [CODE(XML)[([CODE(XMLe)[lhs]], ([CODE(XMLe)[rhs]], ([CODE(XMLe)[com]] | [CODE(XMLe)[wfc]] | [CODE(XMLe)[vc]] | [CODE(XMLe)[constraint]])*)+)]]): 生成規則。 --- [CODE(XMLe)[[[lhs]]]] (共通属性; [CODE(XML)[[[PCDATA]]]]): 左辺。 非終端記号名。 --- [CODE(XMLe)[[[rhs]]]] (共通属性; [CODE(XML)[(#[[PCDATA]] | [CODE(XMLe)[nt]] | [CODE(XMLe)[xnt]] | [CODE(XMLe)[com]])*]]): 右辺一行分。 ---- [CODE(XMLe)[[[nt]]]] (@[CODE(XMLa)[[[def]]]]=[CODE(XML)[[[IDREF]]]]: 必須: 生成規則; [CODE(XML)[[[PCDATA]]]]): 非終端記号。 ---- [CODE(XMLe)[[[xnt]]]] (@[CODE(XMLa)[[[href]]]]=[[URI参照]]: 必須: 生成規則; [CODE(XML)[[[PCDATA]]]]): 外部定義非終端記号。 --- [CODE(XMLe)[[[com]]]] (共通属性; [CODE(XML)[(#[[PCDATA]] | [CODE(XMLe)[[[loc]]]] | [CODE(XMLe)[[[bibref]]]])*]]): 注釈。 --- [CODE(XMLe)[[[wfc]]]], [CODE(XMLe)[[[vc]]]], [CODE(XMLe)[[[constraint]]]] (@[CODE(XMLa)[[[def]]]]=[CODE(XMLa)[[[IDREF]]]]: 必須: 定義; 強制空要素): 制約の参照。 -- [CODE(XMLe)[[[prodrecap]]]] (@[CODE(XMLa)[[[ref]]]]=[CODE(XML)[[[IDREF]]]]: 必須: [CODE(XMLe)[prod]] or [CODE(XMLe)[bnf]], 共通属性; 強制空要素): 生成規則の複製。 -- [CODE(XMLe)[[[bnf]]]] (@[CODE(XMLa)[[[xml]]:[[space]]]]==[CODE(XML)[[[preserve]]]], 共通属性; [CODE(XML)[%[[eg.pcd.mix]];]]): マークなしの生成規則。