Syntax-directed translation associates grammar symbols with attributes to represent programming language constructs. Semantic rules associated with production rules evaluate attributes by generating code, updating symbol tables, and performing type checking and error reporting. Syntax-directed definitions specify translations at a high level, while translation schemes indicate the order semantic actions are evaluated. Annotated parse trees show attribute values computed at each node during translation.