右辺のみに現れる変数を持つ項書換え系の計算モデル

• 西田 直樹

  名古屋大学大学院工学研究科

• 酒井 正彦

  名古屋大学大学院工学研究科

• 坂部 俊樹

  名古屋大学大学院工学研究科

書誌事項

タイトル別名

• A computation model of term rewriting systems with extra variables

抄録

右辺のみに現れる変数を持つ書換え規則を含む項書換え系(EV-TRS) は，その変数に任意の項を代入して書き換えられるので，書換え関係が無限分岐となる．そのため，EV-TRS は計算モデルとして好ましくない．本稿では，ナローイングをEV-TRS の書換え(EV ナローイング) に自然に拡張し，これがEV-TRS の書換え関係を十分にシミュレーションすることを示す．さらに，EV ナローイングが停止するEV-TRS の1 つの条件を示す．

収録刊行物

• 日本ソフトウェア科学会大会講演論文集

  日本ソフトウェア科学会大会講演論文集 19 (0), 6F3-6F3, 2002

  日本ソフトウェア科学会

詳細情報

• CRID: 1390001205525647488
• NII論文ID: 130006949883
• DOI: 10.11309/jssstconference.19.0.6f3.0
• ISSN: 13493515
• データソース種別:
  • JaLC
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可