抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
この技術レポートは,マルチセット書き換えシステム(MRS)に生化学空間言語(BCSL)を関連づける。BCSLモデルに対して,意味論は遷移システムに関して定義され,一方MRSに対しては,それらは一連の実行に関して定義される。本報告では,BCSLをMRSに関連付けて,遷移系がどのように一連の実行に関連するかを示し,その結果,どのBCSLモデルに対して,MRSが同一セットのランを表すように構築できるかを示した。このステップの動機は,より一般的な書き換えシステムの文脈でBCSLを確立し,それらに対して示された特性から利益を得ることである。最後に,MRSに対して定義された規制が,BCSLモデルに使用できることを示した。【JST・京大機械翻訳】