Ans. There are several models of computation, including Turing Machines, Finite Automata, Pushdown Automata, and Linear Bounded Automata. These models are used to study the limits of computation and to analyze the complexity of algorithms and problems.