Context-Free Grammar: A type of formal grammar that can generate all possible strings in a given formal language, allowing for nested structures.