Why do you learn CS theory? What is the benefit of a class for a class of programmers in the production of MSO = MSO0? What is the interchange of Ranked Tree Automata and Unranked Tree Automata? Unconsciously, learning formulation has been more than one year, learning a large number of digital logic and automatinal theory, and has a lot of calculated and complexity theory. In addition to interesting, do you have any practical value? I am just a small programmer, and there is no ability to play a hand in the CS theory. In this case, is it a madness in the rest of this year? It's not interested in personal interests? I don't seem to be so pure? Fortunately, as learned, I seem to realize some practical significance of some theories: 1. Learning theory can expand our ability to summarize the general rules. A beautiful theory can always use few elements to cover a wide range of phenomena, including the situation in theory, have not occurred (in fact, the qualified theory must have foreseeable). For example, although Lambda Calculus has only 7 axioms, its expression ability and map spirit are equivalent. In other words, the programming language of Lambda Calculus (such as LISP) is intended, although the syntactic is simple, but it is as strong as the language-based language (such as C ). In terms of programming, a good design should also be able to handle the general situation, not a bunch of special cases. For example, if there is a large amount of dispersed and bloated case..switch or if..Elese, this program is more problematic. Further, theoretical learning can train our abstract abilities. This article is very clear about the relationship between abstract capabilities and theory. 2. Learning theory can train our ability to contact between different things. Many times, the purpose of our programming is nothing more than converting a form of information into another form, and this conversion is often limited by the computational resource. Theory is just concerned about things between things. For example, when discussing the tree, you can only discuss the binary tree, or if the NFA is very dfa equivalent. 3. Learning Theory allows us to quickly master the frontier dynamics of the computer. No way, the present published paper often expresses the results of the study with formal methods. There is no certain theory just, I really don't understand, let alone the author discussed with the author of the paper. Don't tell me that it is not important to see the paper. It is not enough to develop software that can be developed from others. Well, I can think of it so much. Which senior is coming to point to the maze.
