ユウカイ カサナリ コウ カキカエ ケイ ト コウセイテキ セイソク ホゾンセイ
北岡康司
生駒 : 奈良先端科学技術大学院大学, 1999.3
1
R000880
2
禁帯出
1999
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1999年3月
学位記番号: 修第916号
授与年月日: 1999/03/24
学位の種類: 修士(工学)
学生番号: 9751040
日本語 (jpn)
北岡, 康司 (キタオカ, コウジ)
項書換え系
構成的正則保存性
有界重なり
正則木言語
木オートマトン
項書換え系構成的正則保存性有界重なり正則木言語木オートマトン
