The document explains the components of regular grammar in the theory of computation, including variables, terminal symbols, productions, and the start symbol. It discusses parse trees, regular languages, regular expressions, and properties such as closure under union, intersection, and complement, while also introducing Arden's theorem for deriving regular expressions. Furthermore, it highlights the pumping lemma as a tool for proving language irregularity.