**Computation**is any type of calculation that includes both arithmetical and non-arithmetical steps and follows a well-defined model, for example an algorithm. The study of

**computation**is paramount to the discipline of

**computer**science.

So, what is the theory of computer?

**Theoretical computer**science, or TCS, is a subset of general

**computer**science and mathematics that focuses on more mathematical topics of computing and includes the

**theory**of computation. It is difficult to circumscribe the

**theoretical**areas precisely.

What is grammar in theory of computation?

In formal language

**theory**, a**grammar**(when the context is not given, often called a formal**grammar**for clarity) is a set of production rules for strings in a formal language. The rules describe how to form strings from the language's alphabet that are valid according to the language's syntax.What is theory of automata?

**Automata theory**is the study of abstract machines and

**automata**, as well as the computational problems that can be solved using them. It is a

**theory**in

**theoretical**computer science and discrete mathematics (a subject of study in both mathematics and computer science).