抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
セミリングが完全である保存による半リング加重正規ツリー文法を導入した。著者らは,それらによって作り出される加重ツリー言語のクラスが,半環が交換的であるならば,加重ツリー言語の主要な抽象的ファミリーであり,ツリーにおいて発生する記号のランクは,グローバルパラメータによって有界であり,そして,保存は有限にコード化され,リセット命令を含むことを示した。さらに,反復プッシュダウン(リセット命令を含む有限符号化ストレージの代わりに)に対する同じ状態を証明した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】