| Acknowledgement | 第1-7页 |
| Preface | 第7-14页 |
| Abstract in Chinese | 第14-15页 |
| Abstract in English | 第15-16页 |
| 1 Introduction | 第16-23页 |
| ·Generative Grammar | 第16-20页 |
| ·A Cognitive Faculty | 第16-17页 |
| ·Syntax | 第17页 |
| ·The Development: Three Theoretical Models | 第17-18页 |
| ·The Minimalist Approach | 第18-20页 |
| ·Computational Linguistics | 第20-21页 |
| ·This Thesis | 第21-23页 |
| 2 Checking Theory | 第23-33页 |
| ·The Background | 第23-24页 |
| ·PF, LF, PFI | 第24-25页 |
| ·Interpretable and Uninterpretable Features | 第25-27页 |
| ·Checking Mechanism | 第27-33页 |
| ·Converge | 第29-31页 |
| ·Crash | 第31-33页 |
| 3 Computational Linguistics | 第33-42页 |
| ·The Definition | 第33页 |
| ·The Development | 第33-36页 |
| ·The Rudimentary Stage | 第34页 |
| ·The Developing Stage | 第34-35页 |
| ·The Flourish Stage | 第35-36页 |
| ·The Computer Analysis of Vocabulary | 第36-42页 |
| ·The Morphological Analysis of Inflectional Language | 第36-39页 |
| ·Lexical Features of Verbs | 第39-42页 |
| 4 The Possibility of Combing Checking Theory and Computers | 第42-56页 |
| ·The Treatment of Natural Languages By Computers | 第42-45页 |
| ·The First step: Bringing About the Linguistic Problem | 第42页 |
| ·The Second Step: Formalizing the Linguistic Problem | 第42-43页 |
| ·The Third Step: Getting the Computational Formalism | 第43-45页 |
| ·The Fourth Step: Realizing Computer Implementation | 第45页 |
| ·The Steps of the Treatment of Checking Theory by Computers | 第45-56页 |
| ·The First Step: Bringing About the Linguistic Theory | 第45-46页 |
| ·The Second Step: Formalizing Checking Theory | 第46-52页 |
| ·The Third Step: the Algorithm of Checking Theory | 第52页 |
| ·The Fourth Step: the Programming of the Algorithm | 第52-56页 |
| 5 The Realization of Checking Theory | 第56-70页 |
| ·The Program Flow Chart | 第56-57页 |
| ·The Program Codes | 第57-67页 |
| ·The Checking Approach | 第67-70页 |
| 6 Conclusion | 第70-73页 |
| ·Significance | 第70页 |
| ·Limitations | 第70-72页 |
| ·Prospect | 第72-73页 |
| Bibliography | 第73-75页 |
