抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
木言語Lに対しては,正則σ経路言語の有限集合Z,およびΣ上のZプレフィックス制約線形一項項書換え規則の集合S,Sに対するLの位置切断は,位置切断戦略によるSの書き込みによりLの木から到達可能な木の集合S↑*(L)である。Lが認識できれば,S↑*(L)も認識可能である。さらに,Sが有限であれば,S↑*(L)を認識するツリーオートマトンを構築することができる。規則的なσ経路言語の認識可能な木言語Lと有限集合Zに対して,Σ上のZプレフィックス制約付き線形一項書換え規則のすべての集合に対して,Lの位置切削子孫の集合DZ,↑(L)を研究した。著者らは,DZ,↑(L)が有限であることを示して,LがツリーオートマトンAによって与えられるならば,Zの各要素がオートマトンによって与えられるならば,Z-プレフィックス制約線形単一項書換えシステムのセット{R1,...,Rk}を構築することができる。例えば,DZ,↑(L)={R*1↑(L),R*k↑(L)}。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】