Computational Verb Theory, the new theory in the field of artificial intelligence, is introduced and compared with the Fuzzy Theory which is centered on nouns.

It is conformity and transcendency of this kind of theories such as rough set,fuzzy set,computing with words,quotient space and interval computing etc.

This paper begins from the research background of computing with words, introduces its basic concepts, principle, structure, approaches and the research status quo of computing with words all over the world.

In this paper, we mainly introduce the theory of some different kinds of Fuzzy automata, theory of minimization of Fuzzy finite automata, the concept of Computing with words, and the problem of Computing with words via the minimization of Fuzzy finite automata.

In XSIEQ, all XPath expressions are converted into a single NFA by prefix sharing, and the NFA states are labeled with type and index, so the opportunity of predicate evaluation and data cache can be quickly decided in runtime.

This paper has distinguished four fuzzy logics, reviewed some definitions of fuzzy logic, pointed out that the linguistic variable is of basic value to fuzzy logic, briefly analyzed the computing with words, and finally discussed the relation between fuzzy information granulation and fuzzy thinking.