Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Preliminaries	.... 3
2.1	Phase-Structure Grammars and Languages	.... 3
2.2	Elementary Formal Systems and Languages	.... 4
3	Extended Simple Formal Systems	.... 5
3.1	Restrictions of EFS	.... 6
3.2	Relations with Other Formal Languages	.... 8
3.3	Closure Properties	.... 13
3.4	Proof-DAGs	.... 14
4	The Learning Algorithm	.... 15
4.1	Types of Queries	.... 16
4.2	Correctness, Incorrectness	.... 16
4.3	The Learning Algorithm for ESFSs	.... 16
4.4	Proof Procedure	.... 18
4.5	Diagnosis Procedure	.... 19
4.6	Candidate Axioms	.... 20
4.7	Correctness and Time Complexity	.... 22
5	Concluding Remarks	.... 26
	Acknowledgements	.... 26
	References	.... 26
	End	.... 28

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