his paper describes a method for automatically analyzing programs. Its implication is that a program consists of some elementary components which interact each other in stereotyped models, hence the authors may give some standard analyzing methods to analyze and understand programs automatically.