Define the four levels of the Chomsky hierarchy (Type-0 to Type-3). For each level, specify the corresponding grammar type, the automaton required to recognize it, and provide a theoretical example of a language that belongs to that class. Discuss the limitations of Type-3 grammars compared to Type-2.