右辺のみに現れる変数を持つ右線形構成子項書換え系の計算の効率化
スポンサーリンク
概要
- 論文の詳細を見る
書換え規則の右辺のみに現れる変数（余剰変数）を持つことを許した項書換え系（TRS）を余剰変数付きTRS（EV-TRS）と呼ぶ．本稿では，右線形構成子EV-TRSに対して，EV-TRS上に拡張されたナローイングの最内計算が停止する線形項のすべてのナローイングの正規形が全解探索より効率の良い最内戦略により求められることを示す．対象とするEV-TRSは左線形である必要はなく，規則に重なりを許されているので，一般には合流性を持たない．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)