Contents of Report

[Data of Report]

Report Number:: TR0654
Date of Registration:: 1991.06
English Title:: On Synthesis of Features as Constraint Satisfaction Problems over Hypersets
Japanese Title:: 超集合制約充足問題としての素性構造形成
English Author:: K.Mukai
Japanese:: 向井国昭
Name of Organization to which author belongs:: ICOT
PDF:: tr0654.pdf

[Contents]

	あらまし	.... 2
	Abstract	.... 2
1	はじめに	.... 3
2	超集合論からの準備	.... 4
2.1	AFAとSolution Lemma	.... 4
2.2	BisimulationとSubsumption	.... 6
2.3	超集合の上の制約論理プログラミング	.... 7
3	有理木、正則等式系、素性構造	.... 7
3.1	有理木、	.... 7
3.2	木のマージ演算	.... 8
3.3	素性構造	.... 8
4	素性構造制約決定問題	.... 9
4.1	集合制約	.... 9
4.2	素性構造から木へ	.... 11
5	有限オートマトンと正則等式系	.... 11
5.1	正則等式系	.... 11
5.2	決定性正則等式系への変換	.... 11
5.3	有限オートマトン	.... 12
5.4	正則言語	.... 12
5.5	有限オートマトンから正則等式系へ	.... 13
6	おわり	.... 14
	References	.... 14
	End	.... 15

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports