Theoretical overview of formal grammar types, including generative and transformational grammar, exploring syntactic structures and rules. Widely used in language processing and artificial intelligence tasks