詳細情報

刊年

2002

別書名

多層変換項書換え系とその正則保存性について

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2002年3月

注記

学位記番号: 修第1830号

授与年月日: 2002/03/22

学位の種類: 修士(工学)

学生番号: 0051093

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

藤中, 洋平 (フジナカ, ヨウヘイ)

件名

Term Rewriting System(TRS)

Tree Automaton

Recognizability

Recognizability Preserving Property

Layered Tayered Transducing TRS