| 講演抄録/キーワード |
| 講演名 |
2007-06-29 17:00
決定性・線形プッシュダウン木オートマトンによる木構造の線形時間認識 ○藤芳明生(茨城大) COMP2007-30 |
| 抄録 |
(和) |
本論文では,いくつかの種類の決定性・線形プッシュダウン木オートマトン(決定性L-PDTA)を紹介する.決定性L-PDTAは,非決定性L-PDTAと弱等価であることが示される.決定性L-PDTAは,木構造を入力の大きさの線形時間で認識可能であるため,数式構造解析における検証などに応用が期待される. |
| (英) |
In this paper, we introduce a deterministic linear pushdown tree automaton (deterministic L-PDTA) and some variations. It will be shown that deterministic L-PDTAs are weakly equivalent to nondeterministic L-PDTAs. Since recognition of an input tree by a deterministic L-PDTA can be done in linear time, it will provide a suitable verification method of structural analysis of mathematical formulae. |
| キーワード |
(和) |
プッシュダウン木オートマトン / 文脈自由木文法 / 木構造 / 認識アルゴリズム / / / / |
| (英) |
pushdown tree automata / contex-free tree grammar / tree structure / recognition algorithm / / / / |
| 文献情報 |
信学技報, vol. 107, no. 127, COMP2007-30, pp. 93-99, 2007年6月. |
| 資料番号 |
COMP2007-30 |
| 発行日 |
2007-06-22 (COMP) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
COMP2007-30 |