Graph grammars are a formal method for specifying and generating graph structures through the application of specific rules, similar to how string grammars work for generating strings. They are powerful tools in computer science for modeling systems with intricate relationships and transformations, such as visual languages, pattern recognition, and software architecture design.