Computations are carried when processing programmer. As the development of computer science increase rapidly, more and more computations are needed for our software, games, and even solutions for a mathematical problem. Theory of computation is the study of how to make computer solve problems by using algorithm.

 

Similar to a calculator, you can use computer to perform certain functions and solve certain problems very easily. However, there are also areas that computer cannot reach to solve. In order to solve these problems, scientists works on both math and computer science to further develop computing algorithm and computing languages.

 

There are three main theories from theory of computation. One of which is called formal language theory, this theory related to reorganization of formal languages by automata. This theory mainly concerns with how to making describing language (in alphabet) as operations by using mathematic algorithm.

 

Similar to computing languages, we have lot of models for languages used in automata, but the most standard one is formal language, and this is better and more suitable for automata.

 

Computability theory focus more on the ability of a computer to carry different tasks and solve different problems. It is usually assumed by most people that our computer can do any kind of work for us, but the truth is that most computations are still under development.

 

Computers are not completely capable for all the works we want it to do, and solving these problems will be the main focus of computability theory.

 

Finally, the computational complexity theory focus more on the efficiency of a solution to a task. In our life, we do not want a calculator that only gives an answer, we want a calculator that can give answers in a second. Same things apply to computations, despite the variety of works and computations a computer can do, we still want it to be as fast and as efficient as it can reach.

 

Generally speaking, theory of computation is a subject that not only cares about whether a computer can solve a problem or not, rather, it is a complex study on the ability of doing task and the efficiency of how the task is performed. In modern time, works are never simply as simple as typing characters or writing reviews. It is way more complex.

 

Now, government is using workstations with better processing programs to graph geographical features of an entire city, we have specialized computers for fast calculation and data storage for commercial uses, and we also have game designers who use more accurate and time-saving computations to develop games with better playing experience.