Contents of Report

[Data of Report]

Report Number:: TR0317
Date of Registration:: 1987.11
English Title:: A Constructive Method for Grammatical Inference of Linear Languages based on Control Sets
Japanese Title:: ***
English Author:: Y.Takada
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu
PDF:: tr0317.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Preliminaries	.... 5
3	Representation Theorem for Linear Languages	.... 8
4	Inference of Linear Languages	.... 13
4.1	Consistency for the membership oracle	.... 13
4.2	Inference Algorithm LID	.... 15
5	Correctness and Effectiveness for LID	.... 19
	Acknowledgements	.... 22
	References	.... 23

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