■

「それはおかしい」と言えるほど、関係を理解しているわけでは全然ないので書きませんでしたが、

ちなみに、これの元を辿ると、XML処理プログラムが常にスキーマに合ったXML文書を出力するか検査する研究になります

は私の解釈では、ちょっと私の理解とずれます。

「XDuceと同じようなアルゴリズムで出力を検査している」ように聞こえるような気がするのですが、そうではないと理解しています。phpsaは出力がHTMLになっているかの検査は、文脈自由言語同士の包含関係で判定するわけですが、XDuceとはずいぶん違うような気がするのです。

※sumii先生がコメントでフォローしてくださいました。