The correctness of semantic-syntax-directed translators (SSDTs) ~s examined SSDTs are a generahzatton of syntax-directed translators m which semantic mformaUon is employed to partmlly direct the translator Sufficient conditions for an SSDT to be "semanttc-preserwng," or "correct," are presented A further result shows that unless certam condiuons are met, ~t ~s undec~dable, m general, whether an SSDT is semanticpreserwng KEY WORDS AND PHRASES1 translauon, syntax.directed, semantic-syntax-directed, correctness, semanttcpreservmg CR CATEGORIES. 3,42, 4.12, 5.22, 5 24