US9519569B2 - Method for Constructing Data Structures and Method for Describing Running States of Computer and State Transitions Thereof