Text this: Research on a General State Formalization Method from the Perspective of Logic.