ユウカイ ケイロ カサナリコウ カキカエケイ ノ テイシセイ モンダイ ニ ツイテ
阿部武徳
生駒 : 奈良先端科学技術大学院大学, 2001.3
1
R001731
2
禁帯出
2001
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2001年3月
学位記番号: 修第1459号
授与年月日: 2001/03/23
学位の種類: 修士(工学)
学生番号: 9951001
日本語 (jpn)
阿部, 武徳 (アベ, タケノリ)
項書換え系
停止性
有界経路重なり項書換え系
正則木言語
木オートマン
弱最内正規化性
項書換え系停止性有界経路重なり項書換え系正則木言語木オートマン弱最内正規化性
