アットウィキロゴ
大久保弘崇
掲示板 掲示板 ページ検索 ページ検索 メニュー メニュー

大久保弘崇

XMLTTAA

最終更新:

hirotakaohkubo

- view
管理者のみ編集可

Foundations of XML Processing / The Tree-Automata Approach

XML処理の基礎-木音又の接近
2011/4開始


Errata


p.200 問題4.2.1の解答前半

左上から右にノードを順に番号付けして2,3,4のノードから、それぞれgender,spouse,petで5に移る遷移か、
3,4のノードからいずれもpetで5へ移る遷移が必要。
また、右下のPetNameという名前はPetの誤り。

p.55

PersonX = person[Name, Gender, SpouseX, ChildrenX?]
最後に?が必要

p.59 §5.4.2

PP-EPSの下右辺、P-EPSと対応するなら \Rightarrow \epsilon ; \epsilon となるはず。

p.73 §7.1.2末尾

possiblities → possibilities

p.75

Example 7.2.1 → Exercise 7.2.1

p.86 l.-9

since x_j \in \textbf{Var}(q_k)q_1 の間違い?

p.95 図

木の高さnをノードの数で数えるか弧の数で数えるかいずれにも解釈できる。

p.96 Exercise 8.1.2, p.97 Exercise 8.1.3

A_{8.1.1}t_{8.1.1}

p.105

eval'(prod ...)の定義式 \textbf{eval}'(s_2,\emptyset) プライムが抜けている

p.107

二つのディスプレイ数式にある 3^{d(s)}, 3^{d(s_1)}, 3^{d(s_2)} は全て d\textbf{dp} にする。\max の中も。

p.119

\textbf{DNF}(\phi_1 \wedge \phi_2)の式
中カッコ閉じは \phi_2)\}, ではなく最後 \textbf{DNF}(\phi_1)\}

p.128 l.18

"Below, when we write p ..." は p でなく \rho

p.132 definition of

[\![ a (e_1, \cdots, e_m) ]\!][\![ a (e_1, e_2) ]\!]

Note

輪講は10章までで終了した。

コメント

名前:
コメント:
記事メニュー
最近更新されたスレッド
人気記事ランキング
ウィキ募集バナー