文献

J-GLOBAL ID：201202202276444947   整理番号：12A0385287

語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて

On class of equation sets whose word problems are reducible to those of ground equation sets

著者 (5件)： 坂井利光 (名古屋大 工) ,  酒井正彦 (名古屋大 大学院情報科学研究科) ,  坂部俊樹 (名古屋大 大学院情報科学研究科) ,  西田直樹 (名古屋大 大学院情報科学研究科) ,  草刈圭一朗 (名古屋大 大学院情報科学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 111  号： 405(MSS2011 54-71)  ページ： 45-49  発行年： 2012年01月19日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 等式集合の語問題は,2つの項を与えたときに,等式集合のもとで2つの項が等しいかどうかを決定する問題である。本論文では線形,シャロー,変数非消去かつ非崩壊な規則からなる等式集合の語問題が,等式集合と2つの項から定められる基底項を各等式に代入する変換を用いることにより,変数を持たない等式集合の語問題へ帰着可能であることを示す。この結果より,変数を持たない等式集合の語問題判定アルゴリズムを用いて,目的の語問題を解くことが可能となる。(著者抄録)

シソーラス用語： *語の問題 ,  *プログラム理論 ,  閉包 ,  集合論 ,  プログラム検証 ,  *検証 ,  命題論理 ,  充足可能性問題 ,  等式論理 ,  書換え規則 ,  項書換え系
準シソーラス用語： *システム検証 ,  *等式理論

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 語問題 ,  基底 ,  集合 ,  クラス