文章基本信息
- 标题：ボトムアップ最内項書き換えシステムの最内到達可能性
- 本地全文：下载
- 作者：高橋 翔大 ; 青戸 等人 ; 外山 芳人 等
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2014
- 卷号：31
- 期号：1
- 页码：1_75-1_89
- DOI：10.11309/jssst.31.1_75
- 出版社：Japan Society for Software Science and Technology
- 摘要：
DurandとSénizergues(2007)によってボトムアップ線形項書き換えシステムの到達可能性が決定可能であることが示されている．本論文では，ボトムアップ書き換えをボトムアップ最内書き換えに変更したボトムアップ最内システムのクラスを提案し，ボトムアップ最内左線形項書き換えシステムの最内到達可能性が決定可能であることを示す．また，ボトムアップ最内システムを制限した強 k ボトムアップ最内システムを提案し，左線形項書き換えシステムが強 k ボトムアップ最内システムか否かが決定可能であることを証明する．
