| Abstract | .... 3 | |
| 1 | Introduction | .... 4 |
| 2 | Formal Framework for Inductive Inference | .... 5 |
| 3 | Inductive Inference of Context-free Languages | .... 8 |
| 3.1 | Context-free Expression-Extended Regular Expressions | .... 8 |
| 3.2 | Inductive Ingerence Algolithm | .... 11 |
| 4 | Inferring a Subclass | .... 20 |
| 4.1 | Semilinear Languages and Inference Algolithm | .... 20 |
| 4.2 | Another Algorithm | .... 24 |
| 4.3 | Complexity Results of Inference Problems | .... 30 |
| 5 | Meta Inference | .... 33 |
| 6 | Concluding Remarks | .... 35 |
| Acknowledgements | .... 37 | |
| References | .... 37 | |
| End | .... 39 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports